Edit Models filters

Showing models from

Lab for Automated Reasoning and Analysis

Tasks

Text Generation

Image-Text-to-Text

Parameters

Libraries

Transformers.js

Apps

Inference Providers

Hardware

Add your hardware

Models

10

Base only

Active filters: EPFL-LARA

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

Text Generation • 8B • Updated 5 days ago • 644 • 1

EPFL-LARA/lean-encoder-modernbert-large

Text Classification • 0.4B • Updated 5 days ago • 26

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

Text Classification • 8B • Updated 5 days ago • 35

EPFL-LARA/lean-feedback-qwen3-4b

Text Generation • 4B • Updated 5 days ago • 863

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

Text Generation • 8B • Updated 5 days ago • 644

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

Text Generation • 8B • Updated 5 days ago • 639

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

Text Generation • 8B • Updated 5 days ago • 643

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

Text Generation • 4B • Updated 5 days ago • 637

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

Text Generation • 8B • Updated 5 days ago • 640

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

Text Generation • 8B • Updated 5 days ago • 657