Space: jomasego/repro-optprover-bridging-olympiad-and-optimization-through-continual-training-in-formal-theorem
title: Reproduction: OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-mkHp4ZW01l
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-mkHp4ZW01l, region:us