README.md

metadata

title: README
emoji: 💻
colorFrom: pink
colorTo: pink
sdk: static
pinned: false

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Full paper link: https://arxiv.org/abs/2501.16207