79 citations · 79 across the 1 of their papers we have counts for
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.AI2020★ 79 cited
Current Advancements on Autonomous Mission Planning and Management Systems: an AUV and UAV perspective
Adham Atyabi, Somaiyeh MahmoudZadeh, Samia Nefti-Meziani
Advances in hardware technology have enabled more integration of sophisticated software, triggering progress in the development and employment of Unmanned Vehicles (UVs), and mitig…