AI.info

André Freitas

Explore André Freitas on AI.info.

• MASA: LLM-Driven Multi-Agent Systems for Autoformalization