Johannes Schmitt

According to our database, Johannes Schmitt authored at least 9 papers between 2018 and 2025.

Collaborative distances:

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

2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial

CoRR, September, 2025

Humanity's Last Exam.

Long Phan, Alice Gatti, Ziwen Han, Nathaniel Li, Josephina Hu, Hugh Zhang, Sean Shi, Michael Choi, Anish Agrawal, Arnav Chopra, Adam Khoja, Ryan Kim, Jason Hausenloy, Oliver Zhang, Mantas Mazeika, Daron Anderson, Tung Nguyen, Mobeen Mahmood, Fiona Feng, Steven Y. Feng, Haoran Zhao, Michael Yu, Varun Gangal, Chelsea Zou, Zihan Wang, Jessica P. Wang, Pawan Kumar, Oleksandr Pokutnyi, Robert Gerbicz, Serguei Popov, John-Clark Levin, Mstyslav Kazakov, Johannes Schmitt, Geoff Galgon, Alvaro Sanchez, Yongki Lee, Will Yeadon, Scott Sauers, Marc Roth, Chidozie Agu, Søren Riis, Fabian Giska, Saiteja Utpala, Zachary Giboney, Gashaw M. Goshu, Joan of Arc Xavier, Sarah-Jane Crowson, Mohinder Maheshbhai Naiya, Noah Burns, Lennart Finke, Zerui Cheng, Hyunwoo Park, Francesco Fournier-Facio, John Wydallis, Mark Nandor, Ankit Singh, Tim Gehrunger, Jiaqi Cai, Ben McCarty, Darling Duclosel, Jungbae Nam, Jennifer Zampese, Ryan G. Hoerr, Aras Bacho, Gautier Abou Loume, Abdallah Galal, Hangrui Cao, Alexis C. Garretson, Damien Sileo, Qiuyu Ren, Doru Cojoc, Pavel Arkhipov, Usman Qazi, Lianghui Li, Sumeet Motwani, Christian Schröder de Witt, Edwin Taylor, Johannes Veith, Eric Singer, Taylor D. Hartman, Paolo Rissone, Jaehyeok Jin, Jack Wei Lun Shi, Chris G. Willcocks, Joshua Robinson, Aleksandar Mikov, Ameya Prabhu, Longke Tang, Xavier Alapont, Justine Leon Uro, Kevin Zhou, Emily de Oliveira Santos, Andrey Pupasov Maksimov, Edward Vendrow, Kengo Zenitani, Julien Guillod, Yuqi Li, Joshua Vendrow, Vladyslav Kuchkin, Ng Ze-An

CoRR, January, 2025

Parameterised Holant Problems.

Panagiotis Aivasiliotis, Andreas Göbel, Marc Roth, Johannes Schmitt

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2023

Parameterized Counting and Cayley Graph Expanders.

Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina, Philip Wellnitz

SIAM J. Discret. Math., June, 2023

2021

Parameterized (Modular) Counting and Cayley Graph Expanders.

Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders.

Marc Roth, Johannes Schmitt, Philip Wellnitz

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Counting Small Induced Subgraphs Satisfying Monotone Properties.

Marc Roth, Johannes Schmitt, Philip Wellnitz

Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

2019

Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness.

Julian Dörfler, Marc Roth, Johannes Schmitt, Philip Wellnitz

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness.

Marc Roth, Johannes Schmitt

Proceedings of the 13th International Symposium on Parameterized and Exact Computation, 2018