Author of the publication

Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.

, , , , and . CoRR, (2024)