firstbacksecondback
5 Results
|
Poster
|
Thu 9:00 |
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang · Wenda Li · Szymon Tworkowski · Konrad Czechowski · Tomasz Odrzygóźdź · Piotr Miłoś · Yuhuai Wu · Mateja Jamnik |
|
|
Workshop
|
Counterfactual Situation Testing: Fairness given the Difference Jose Alvarez · Salvatore Ruggieri |
||
|
Affinity Workshop
|
Follow the Flow: An Affective Computing Interface for the On-Line Detection of Flow Mental State Elena Sajno · G. Riva · Nicole Novielli |
||
|
Workshop
|
Perception as a Fairness Parameter Jose Alvarez · Mayra Russo |
||
|
Workshop
|
Explainability in Practice: Estimating Electrification Rates from Mobile Phone Data in Senegal Laura State · Hadrien Salat · Stefania Rubrichi · Zbigniew Smoreda |