fm-universe

university

https://github.com/FM-universe/fm-universe

AI & ML interests

None defined yet.

Recent Activity

luyaojie authored a paper 18 days ago

ShortV: Efficient Multimodal Large Language Models by Freezing Visual Tokens in Ineffective Layers

arabelatso published a model about 1 month ago

fm-universe/llama3.1-8b-instruct-fma

arabelatso updated a model about 1 month ago

fm-universe/llama3.1-8b-instruct-fma

View all activity

Organization Card

Community About org cards

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/llama3.1-8b-instruct-fma

Updated Mar 15 • 5

fm-universe/qwen2.5-7b-fma

Updated Mar 15 • 5

fm-universe/qwen2.5-7b-instruct-fma

Updated Mar 15 • 12

fm-universe/llama3.1-8b-tulu-3-fma

Updated Mar 15 • 14 • 1

fm-universe/qwen2.5-coder-7b-instruct-fma

Updated Feb 25 • 25 • 7

fm-universe/llama3.1-8b-fma

Updated Feb 25 • 11

fm-universe/deepseek-coder-7b-instruct-v1.5-fma

Updated Feb 25 • 24 • 4

fm-universe/llama3.1-8b-ultrachat-fma

Updated Feb 25 • 5

datasets

None public yet