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 2 days ago • 607 • 1

EPFL-LARA/lean-encoder-modernbert-large

Text Classification • 0.4B • Updated 2 days ago • 25

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

Text Classification • 8B • Updated 2 days ago • 34

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

Text Generation • 4B • Updated 2 days ago • 835

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

Text Generation • 8B • Updated 2 days ago • 619

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

Text Generation • 8B • Updated 2 days ago • 615

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

Text Generation • 8B • Updated 2 days ago • 619

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

Text Generation • 4B • Updated 2 days ago • 612

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

Text Generation • 8B • Updated 2 days ago • 614

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

Text Generation • 8B • Updated 2 days ago • 634