Login / Signup
Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.
Rushang Karia
Daksh Dobhal
Daniel Bramblett
Pulkit Verma
Siddharth Srivastava
Published in:
CoRR (2024)
Keyphrases
</>
formal specification
model checking
specification language
specification languages
object oriented design
automatically generated
reverse engineering
concurrent systems
case study
design methodology
general purpose
modeling language
formal methods
process algebra
semantic data models