Spaces:
Running
Running
Update README.md
Browse files
README.md
CHANGED
|
@@ -10,3 +10,5 @@ pinned: false
|
|
| 10 |
|
| 11 |
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
|
| 12 |
|
|
|
|
|
|
|
|
|
| 10 |
|
| 11 |
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
|
| 12 |
|
| 13 |
+
Full paper link: https://arxiv.org/abs/2501.16207
|
| 14 |
+
|