TY  - RPRT
TI  - Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
AU  - Chad E. Brown
AU  - Cezary Kaliszyk
AU  - Josef Urban
PY  - 2026
UR  - https://arxiv.org/abs/2603.06737
ID  - 2603.06737
ER  -