2 papers
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.AI2026
Blind-Spots-Bench: Evaluating Blind Spots in Multimodal Models
Matteo Santelmo, Xiuying Wei, Israa Fakih +5
Modern AI models achieve strong performance on many established benchmarks, yet they still fail on tasks that humans find almost trivial, such as manipulating a string or drawing a…