Yves Jäckle

📬 Contact

office
Room 3105 at ZIB
e-mail

🎓 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 U 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