Search Results for author:
Found 1 papers, 0 papers with code
Formal Specifications from Natural Language
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
