fm-universe/qwen2.5-coder-7b-instruct-fma
Updated
•
1
fm-universe
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
Organization Card
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
models
3
datasets
None public yet