Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
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…
cs.LG2026
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-…