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…