Search Results for author:
Found 1 papers, 0 papers with code
Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications
Stakeholders often describe system requirements using natural language which are then converted to formal syntax by a domain-expert leading to increased design costs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
