fm-universe/llama3.1-8b-instruct-fma
8B
•
Updated
•
13
AI & ML interests
None defined yet.
Recent 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
8
fm-universe/qwen2.5-7b-fma
8B
•
Updated
•
18
fm-universe/qwen2.5-7b-instruct-fma
8B
•
Updated
•
13
fm-universe/llama3.1-8b-tulu-3-fma
8B
•
Updated
•
15
•
1
fm-universe/qwen2.5-coder-7b-instruct-fma
8B
•
Updated
•
11
•
9
fm-universe/llama3.1-8b-fma
8B
•
Updated
•
10
fm-universe/deepseek-coder-7b-instruct-v1.5-fma
7B
•
Updated
•
14
•
5
fm-universe/llama3.1-8b-ultrachat-fma
8B
•
Updated
•
44