AI.info

Philipp Borchert

Explore Philipp Borchert on AI.info.

• A Benchmark for Deep Information Synthesis
• TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition
• DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems