fm-universe/llama3.1-8b-ultrachat-fma
Updated
•
6
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
4
datasets
None public yet