Philipp Borchert

Logo

Philipp Borchert | NLP Researcher

Let's connect and collaborate! You can find me here:


πŸ’» GitHub
πŸ€— HuggingFace
πŸ’Ό LinkedIn
πŸ“š Google Scholar
👋 Hi, I'm Philipp!
I'm a NLP researcher fascinated by how we can teach LLMs to reason and tackle complex, structured problems. My research spans from multilingual NLP over information extraction to my current work on reasoning in AI for Math at Huawei in London. I completed my PhD at KU Leuven, where my research focused on multilinguality and NLP for Business applications.
What excites me

πŸ“„ Selected Publications & Projects

Paper overview
Jasivan Alex Sivakumar, Philipp Borchert, Ronald Cardenas, Gerasimos Lampouras
Preprint 2025
We identify conjecturing as a critical bottleneck in formal mathematical reasoning. We introduce ConjectureBench, a dataset to evaluate LLM conjecturing capabilities, and LEAN-FIRE, an inference-time method that improves autoformalisation by treating conjecturing as a distinct step.
Paper overview
Yupei Li, Philipp Borchert, Gerasimos Lampouras
Preprint 2025
TopoAlign addresses data scarcity for Math LLMs by aligning code to mathematical structures. It decomposes code repositories into components that mirror formal statements in Lean 4 for pretraining. The framework significantly improves performance on autoformalization benchmarks like MiniF2F and ProofNet.
Paper overview
Meiru Zhang, Philipp Borchert, Milan Gritta, Gerasimos Lampouras
Preprint 2025
DRIFT decomposes informal statements, retrieves dependent premises, and selects illustrative examples before formalization. This framework achieves state-of-the-art results on ProofNet and out-of-distribution benchmarks like ConNF.