2 papers
cs.LG2026
Learning to Repair Lean Proofs from Compiler Feedback
Evan Wang, Simon Chess, Daniel Lee +4
As neural theorem provers become increasingly agentic, the ability to interpret and act on compiler feedback is critical. However, existing Lean datasets consist almost exclusively…
cs.HC2025
Caption: Generating Informative Content Labels for Image Buttons Using Next-Screen Context
Mingyuan Zhong, Ajit Mallavarapu, Qing Nie
We present Caption, an LLM-powered content label generation tool for visual interactive elements on mobile devices. Content labels are essential for screen readers to provide annou…