---
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