AI.info

Milan Gritta

Explore Milan Gritta on AI.info.

• A Benchmark for Deep Information Synthesis
• DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems