4 papers
Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs
Lazar Milikic, Etienne Bamas, Emmanuel Abbe +1
Training language models for formal theorem proving requires large numbers of verifier calls. Slow checks and timeouts often leave GPUs waiting and withhold rewards from potentiall…
How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?
Kirill Brilliantov, Alejandro Hernández-Cano, Emmanuel Abbé
Recent autonomous machine learning engineering (MLE) agents have made significant progress on public leaderboards. Often motivated by progress stagnation over long-horizon cycles a…
-server-bench: Automating Potential Discovery for the -Server Conjecture
Kirill Brilliantov, Etienne Bamas, Emmanuel Abbé
We introduce a code-based challenge for automated, open-ended mathematical discovery based on the -server conjecture, a central open problem in competitive analysis. The task is…
ODySSeI: An Open-Source End-to-End Framework for Automated Detection, Segmentation, and Severity Estimation of Lesions in Invasive Coronary Angiography Images
Anand Choudhary, Xiaowu Sun, Thabo Mahendiran +8
Invasive Coronary Angiography (ICA) is the clinical gold standard for the assessment of coronary artery disease. However, its interpretation remains subjective and prone to intra-…