From the 1 of 1 linked paper with an AI index.
1 paper
Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali
The paper introduces Monty, a framework that uses large language models to automatically translate natural‑language specifications into executable Java assertions, improving precis…