TLCrafter
Abstract
By utilizing the OnionL intermediate representation, TLCrafter systematically "peels" the complexity of human language into structured logic layers. The tool excels at detecting and resolving inherent ambiguity by using Large Language Models (LLMs) to map formal subformulas back to their corresponding natural language fragments, allowing users to iteratively refine their formalizations.
Fields of Study & Subjects
Formal Methods in Verification
Logic
programming
and type systems
Natural Language Processing Techniques
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 3 February 2026