Fabian Glöckle faabian

## prover_verifier.py
"""
Quick and dirty replication of
"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline" (https://arxiv.org/abs/2507.15855)
using LangGraph.

Export GOOGLE_API_KEY to run.
Change the model, question and constants directly in the code (no CLI).
"""

import asyncio
	"""
	Quick and dirty replication of
	"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline" (https://arxiv.org/abs/2507.15855)
	using LangGraph.

	Export GOOGLE_API_KEY to run.
	Change the model, question and constants directly in the code (no CLI).
	"""

	import asyncio