AI.info

Gerasimos Lampouras

Explore Gerasimos Lampouras 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