VeigaPunk/repro-numina-lean-agent-an-open-and-general-agentic-reasoning-system-for-formal-mathem

Repro - RoCA: Robust Cross-Domain End-to-End Autonomous Driving

An open experiment logbook, published with Trackio.