Hongyi Liu

Faithful Autoformalization of Natural Language Assertions

Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali

Formal contracts are essential for software testing and verification, yet writing them remains labor-intensive and error-prone. LLMs offer a promising path toward autoformalization: synthesizing executable assertions from natural-language specifications and thereby bridging the g…Read more