Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification
Sumaya Abdul Rahman, Seckhen Ariel Andrade Cuellar, Ghani Raissov +1
Natural language interfaces can greatly benefit the accessibility and usability of optimization modeling, and recent advances in large language models (LLMs) show promise in automa…
cs.AI2026
Do I Really Know? Learning Factual Self-Verification for Hallucination Reduction
Enes Altinisik, Masoomali Fatehkia, Fatih Deniz +4
Factual hallucination remains a central challenge for large language models (LLMs). Existing mitigation approaches primarily rely on either external post-hoc verification or mappin…
cs.AI2025
Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
Mohammad Raza, Natasa Milic-Frayling
Robustness of reasoning remains a significant challenge for large language models, and addressing it is essential for the practical applicability of AI-driven reasoning systems. We…