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 |
|---|---|---|
| A new converse theorem for Borcherds products
| arXiv preprint | 2025 |
| IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation Johannes Schmitt et al. | arXiv preprint | 2025 |
| Symmetric square type L–series
| RNT DOI | 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
Pillar 3a Dashboard
Should you invest in pillar 3a this year? An interactive dashboard comparing 3a vs. private investment outcomes for Canton Zürich.
FinanceTaxZürich
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