About
Fei Xie
Founder, Conic Lab GmbH · Mathematician & ML researcher
Mathematician (PhD, UCLA) and machine learning researcher working on LLM post-training, with a focus on data, evaluation, and formal-mathematics–related topics.
Fine-tuned frontier models for formal theorem proving, and built evaluation and safety systems for LLM agents.
Published researcher in top mathematics journals — including Crelle and Selecta Mathematica — during postdoctoral positions at the Max Planck Institute, the University of Edinburgh, and Bielefeld University.
- Doctorate
- PhD, Mathematics — UCLA
- Postdoctoral research
- Max Planck Institute · University of Edinburgh · Bielefeld University
- Selected journals
- Crelle (J. Reine Angew. Math.) · Selecta Mathematica
- Focus today
- LLM post-training · data & evaluation · Lean & formal mathematics