Yves Jäckle
📬 Contact
- office
- Room 3105 at ZIB
- jaeckle (at) zib.de
🎓 Curriculum vitae
- since 2024
- Researcher at TUB
- 2023 to 2024
- Research Assistant at ZIB
- Feb 2024
- M.Sc. in Mathematics at FUB
- B.Sc. in Mathematics at University of Bonn
🔬 Projects
LEAN on Me: Transforming Mathematics Through Formal Verification, Improved Tactics, and Machine Learning
Formal proof verification can both ensure proof correctness and provide new tools and insights to mathematicians. The goals of this project include creating resources for students and researchers, verifying relevant results, improving proof tactics, and exploring Machine Learning approaches.
MATH+ AA5-9
Jan 2024 to Dec 2025
5
💬 Talks and posters
Research seminar talks
- Feb 2024
- Formal Theorem Provers and Formal Proofs From THE BOOK
IOL Research Seminar (IOL), Berlin