Artifact for Coherency and Consistency of Code Execution Reasoning by Large Language Models
Fields of Study & Subjects
Software Engineering Research
Software Testing and Debugging Techniques
Logic
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 1 January 2026