Lab for Automated Reasoning and Analysis (@EPFL-LARA) · Hugging Peers

EPFL-LARA lean-feedback-qwen3-4b

text-generation transformers other

943 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-sft

text-generation transformers other

746 downloads 1 likes

EPFL-LARA lean-world-model-qwen3-8b-reasoning-grpo

text-generation transformers

739 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-8b-grpo

text-generation transformers

737 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-reasoning-grpo

text-generation transformers

737 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-8b-sft

text-generation transformers other

734 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-grpo

text-generation transformers

734 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-4b-grpo

text-generation transformers

716 downloads 0 likes

EPFL-LARA lean-one-token-qwen3-8b

text-classification transformers apache-2.0

35 downloads 0 likes

EPFL-LARA lean-encoder-modernbert-large

text-classification transformers apache-2.0

26 downloads 0 likes

EPFL-LARA Qwen3.8-Flash-Next-ProofOpt-ActionSFT-step52-FP8

text-generation other

15 downloads 0 likes

EPFL-LARA Qwen3.8-Flash-Next-ProofOpt-ReasoningSFT-step52-FP8

image-text-to-text transformers other

0 downloads 0 likes

EPFL-LARA Qwen3.8-Flash-Next-ProofOpt-SFT-step148-FP8

image-text-to-text transformers other

0 downloads 0 likes