Get started
Author

Jonas Bayer

Observed name: Bayer, Jonas
ORCID: 0009-0006-2500-3146
Observed ORCID: 0009-0006-2500-3146
OpenAlex ID: A5063990972
Mathematical Proof Between Generations
2023 · Jonas Bayer, Christoph Benzmüller, et al. · Notices of the American Mathematical Society · 6
PDF
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
2018 · Benedikt Stock, Abhik Pal, et al. · EasyChair preprint · 6
PDF
The DPRM Theorem in Isabelle (Short Paper)
2019 · Bayer, Jonas, David, Marco, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
2025 · Wang, Haiming, Unsal, Mert, et al. · arXiv (Cornell University) · 2
PDF
Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle
2019 · Jonas Bayer, Marco David, et al. · Lecture notes in computer science · 2
PDF
A First Introduction to Isabelle/ML Metaprogramming: Automatic Estimation of Polynomial Degrees
2026 · Bayer, Jonas, Danilkin, Anna, et al. · arXiv (Cornell University)
PDF
Human agency in initial human-AI proof formalization workflows
2026 · Collins, Katherine M., Frieder, Simon, et al. · arXiv (Cornell University)
PDF
TBUGTB/isabelle-ml-polynomials: v0
2026 · Jonas Bayer · Zenodo (CERN European Organization for Nuclear Research)
TBUGTB/isabelle-ml-tutorial-public: v0
2026 · Jonas Bayer · Zenodo (CERN European Organization for Nuclear Research)
Teaching LLMs Program Semantics via Symbolic Execution Traces
2026 · Bayer, Jonas, Zetzsche, Stefan, et al. · arXiv (Cornell University)
PDF
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
2025 · Bayer, Jonas, David, Marco, et al. · arXiv (Cornell University)
Studying Mathematical Reasoning through the Gadget Game
2025 · Cognitive Science Society 2025, Bayer, Jonas, et al. · eScholarship (California Digital Library)
PDF
A Formal Proof of Complexity Bounds on Diophantine Equations
2025 · Bayer, Jonas, David, Marco · arXiv (Cornell University)
PDF
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
2024 · Frieder, Simon, Bayer, Jonas, et al. · arXiv (Cornell University)
PDF
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
2023 · Jonas Bayer, Alexey Gonus, et al. · Lecture notes in computer science
PDF
Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb ,Jugend forscht‘
2018 · Jonas Bayer, Marco David, et al. · Mitteilungen der Deutschen Mathematiker-Vereinigung
PDF
Works count: 18
Citation count: 21
H-index: 3
I10-index:
Year
Topic
Type