IMproofbench
Developing an independent, scientifically rigorous benchmark to assess the mathematical-reasoning capabilities of large language models, advancing transparency and reproducibility in AI-driven mathematical research.
Projects
Publications
Selected works and preprints from my non-confidential treatises.
| Title | Publisher/Platform | Year |
|---|---|---|
| IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation Johannes Schmitt et al. | arXiv preprint | 2025 |
| Symmetric square type L–series
| RNT preprint | 2025 |
| Period integrals of Kudla–Millson lifts and L–functions of vector valued modular forms
| TU prints DOI | 2024 |
| Injectivity of the genus 1 Kudla–Millson lift on locally symmetric spaces Riccardo Zuffetti | JNT DOI | 2023 |
| Effects of digital tasks on learning math for first-year engineering students Ömer Genc, Ulrich Reif | GI - LNI DOI | 2021 |
Research Projects
Selected current and upcoming research initiatives.
Unitary Borcherd's lifts
Investigating the geometric structure and analytic properties of the unitary extension of Borcherd’s lift, with implications for automorphic forms and arithmetic geometry.
TU-Was
Contributing to the digital transformation of higher education through database-driven learning environments that provide adaptive, AI-supported feedback on student solutions.
Other Projects
A collection of interactive applications and creative side projects designed for demonstration, education, and engagement. These lightweight in-browser tools support teaching, financial literacy, and conceptual exploration.
Retirement funds planner
A simplified projection tool to explore long-term private-retirement outcomes under various contribution and yield scenarios.
StreamlitSimulationOpen-Source
Expense splitter
A practical app for transparent and fair expense sharing after group activities or travel.
StreamlitExpensesOpen-Source
Cookbook
Having a cookbook appears indispensible when designing a balanced mealplan for the upcoming week and plan the weekend errands.
PlanningDiet
Quadratic Forms Sandbox
An interactive sandbox for computing invariants and visualising genus and class behaviour of quadratic forms.
CataloguingCASClosed-Source