Thomas Lukasiewicz
Professor Thomas Lukasiewicz
Themes:
- Artificial Intelligence and Machine Learning
- Data, Knowledge and Action
- Algorithms and Complexity Theory
Completed Projects:
Interests
For more information on Thomas Lukasiewicz and his team, see: Intelligent Systems Lab.
Selected Publications
-
PiShield: A NeSy Framework for Learning with Requirements
Mihaela Cătălina Stoian‚ Alex Tatomir‚ Eleonora Giunchiglia and Thomas Lukasiewicz
In Proceedings of the 33rd International Joint Conference on Artificial Intelligence‚ IJCAI 2024‚ Demos‚ Jeju Island‚ South Korea‚ August 3–9‚ 2024. ijcai.org. August, 2024.
Details about PiShield: A NeSy Framework for Learning with Requirements | BibTeX data for PiShield: A NeSy Framework for Learning with Requirements
-
Evaluating Language Models for Mathematics through Interactions
Katherine M. Collins‚ Albert Jiang‚ Simon Frieder‚ Lionel Wong‚ Miri Zilka‚ Umang Bhatt‚ Thomas Lukasiewicz‚ Yuhuai Wu‚ Joshua B. Tenenbaum‚ William Hart‚ Timothy Gowers‚ Wenda Li‚ Adrian Weller and Mateja Jamnik
In Proceedings of the National Academy of Sciences of the United States of America (PNAS). Vol. 121. No. 24. June, 2024.
Details about Evaluating Language Models for Mathematics through Interactions | BibTeX data for Evaluating Language Models for Mathematics through Interactions | Link to Evaluating Language Models for Mathematics through Interactions
-
The IMO Small Challenge: First IMO Dataset for LLMs
Simon Frieder‚ Mirek Olšák‚ Julius Berner and Thomas Lukasiewicz
In Proceedings of the 12th International Conference on Learning Representations‚ ICLR 2024‚ Tiny Papers Track‚ Vienna‚ Austria‚ 7–11 May 2024. May, 2024.
Details about The IMO Small Challenge: First IMO Dataset for LLMs | BibTeX data for The IMO Small Challenge: First IMO Dataset for LLMs