Research
ELLIS fosters international collaboration across domains, connecting top researchers while investing in the next generation of AI talent.
Members
ELLIS Members are leading scientists in machine learning and AI, shaping Europe's global position in these fields.
About
ELLIS is a pan-European AI network of excellence built upon machine learning as the driver for modern AI.
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
2023
Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik
ELLIS Authors
Author Locations
No location data available for the ELLIS authors of this paper.
Research
About
