3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2026
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…
cs.PL2016★ 3 cited
Proceedings Fourth Workshop on Synthesis
Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…