2 papers
cs.AI2026
Repairing LLM-Generated Specifications with Deterministic Diagnosis
Giovanni Vaccarino, Emanuele La Malfa, Dehai Min +6
Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specification that a symbolic solv…
cs.CL2026
Stop When Reasoning Converges: Semantic-Preserving Early Exit for Reasoning Models
Dehai Min, Giovanni Vaccarino, Huiyi Chen +3
Large Reasoning Models (LRMs) achieve strong performance by generating long chains of thought (CoT), but often overthink, continuing to reason after a solution has already stabiliz…