AI.info

Marco Valentino

Explore Marco Valentino on AI.info.

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