Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « short4 | short5

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents

• Chad E. Brown
• Cezary Kaliszyk
• Josef Urban

PDF