Jonathan Thomm

According to our database, Jonathan Thomm authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Aristotle: IMO-level Automated Theorem Proving.

Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, Lawrence Wu

CoRR, October, 2025

2024

Object-Attribute Binding in Text-to-Image Generation: Evaluation and Control.

Maria Mihaela Trusca, Wolf Nuyts, Jonathan Thomm, Robert Honig, Thomas Hofmann, Tinne Tuytelaars, Marie-Francine Moens

CoRR, 2024

Limits of Transformer Language Models on Learning Algorithmic Compositions.

Jonathan Thomm, Aleksandar Terzic, Geethan Karunaratne, Giacomo Camposampiero, Bernhard Schölkopf, Abbas Rahimi

CoRR, 2024

Limits of Transformer Language Models on Learning to Compose Algorithms.

Jonathan Thomm, Giacomo Camposampiero, Aleksandar Terzic, Michael Hersche, Bernhard Schölkopf, Abbas Rahimi

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Terminating Differentiable Tree Experts.

Jonathan Thomm, Michael Hersche, Giacomo Camposampiero, Aleksandar Terzic, Bernhard Schölkopf, Abbas Rahimi

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

FABRIC: Personalizing Diffusion Models with Iterative Feedback.

Dimitri von Rütte, Elisabetta Fedele, Jonathan Thomm, Lukas Wolf

Proceedings of the Computer Vision - ECCV 2024 Workshops, 2024