People
Christoph Stephan
Institution: University of Potsdam
Role: Researcher
Interests: AI in mathematics, Lean 4
Claudio Paganini
Institution: University of Regensburg
Role: Researcher
Interests: AI in mathematics, formal methods
Jannis Limperg
Institution: Axiom Math
Role: Researcher
Interests: Lean support for AI agents, Lean-based software verification
Kelly J. Davis
Institution: ai4math BB
Role: Researcher
Interests: formal theorem proving, physics, quantum field theory
Md Niaz Morshed
Institution: University of Potsdam
Role: Masters Student
Interests: AI in mathematics, Data Science, AI Engineering
Rudolf Zeidler
Institution: University of Potsdam
Role: Professor
Interests: Differential Geometry, AI in mathematics, formal methods