AllenGrahamHart/formal-conjectures-gold

formal-conjectures-gold: FormalConjectures-Bench Gold: Harbor dataset on Hugging Face. See what each task asks, how it is graded and what it runs in, then run an agent on it.