File eval_imo25_benchmark.py

scripts/eval_imo25_benchmark.py:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	"""
2	Evaluation script for IMO 2025 problems using OptiLLM approaches
3	Designed to test MARS and other approaches on challenging proof-based problems
4	"""

nothing calls this directly

mainFunction · 0.70

no test coverage detected