fm-universe/llama3.1-8b-instruct-fma
8B
•
Updated
•
9
AI & ML interests
None defined yet.
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
8
fm-universe/qwen2.5-7b-fma
8B
•
Updated
•
1
fm-universe/qwen2.5-7b-instruct-fma
8B
•
Updated
fm-universe/llama3.1-8b-tulu-3-fma
8B
•
Updated
•
17
•
1
fm-universe/qwen2.5-coder-7b-instruct-fma
8B
•
Updated
•
32
•
9
fm-universe/llama3.1-8b-fma
8B
•
Updated
fm-universe/deepseek-coder-7b-instruct-v1.5-fma
7B
•
Updated
•
11
•
5
fm-universe/llama3.1-8b-ultrachat-fma
8B
•
Updated
•
2