2 papers
cs.CL2026
Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
Omar Farouk Zouak, Houssam Eddine Boukhalfa, Soumaya Lakehal +2
Large language models often solve a theorem forward yet fail to disprove a closely related false one: a falsification gap that supervised fine-tuning does not close and can activel…
cs.CV2026
AgrI Challenge: A Data-Centric AI Competition for Cross-Team Validation in Agricultural Vision
Mohammed Brahimi, Karim Laabassi, Mohamed Seghir Hadj Ameur +7
Machine learning models in agricultural vision often achieve high accuracy on curated datasets but fail to generalize under real field conditions due to distribution shifts between…