Edit Models filters

Showing models from

formalmathatepfl

Tasks

Text Generation

Image-Text-to-Text

Parameters

Libraries

Transformers.js

Apps

Inference Providers

Hardware

Add your hardware

Models

19

Base only

Active filters: formalmathatepfl

formalmathatepfl/qwen3-cpt

Text Generation • 308k • Updated Aug 14 • 18

formalmathatepfl/qwen3-sft-feedback-with-proof-repair

Text Generation • 8B • Updated Aug 28 • 61

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated Sep 1 • 8

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl

Text Generation • 8B • Updated Sep 3 • 129

formalmathatepfl/qwen3-8b-classic-one-shot

Text Generation • 8B • Updated Sep 4 • 12

formalmathatepfl/qwen3-8b-post-trained-cpt

Text Generation • 8B • Updated Sep 9 • 17

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated Sep 11 • 26

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-150

8B • Updated Sep 11 • 5

formalmathatepfl/qwen3-8b-classic-grpo

8B • Updated Sep 15 • 19

formalmathatepfl/qwen3-8b-feedback-no-repair

Text Generation • 8B • Updated Sep 15 • 46

formalmathatepfl/qwen3-8b-feedback-with-repair

Text Generation • 8B • Updated Sep 17 • 35

formalmathatepfl/qwen3-8b-feedback-non-base-with-repair

Text Generation • 8B • Updated Sep 18 • 68

formalmathatepfl/classic-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 21 • 115

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked

8B • Updated Sep 22 • 9

formalmathatepfl/feedback-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 23 • 281

formalmathatepfl/qwen3-8b-classic-hybrid-grpo

8B • Updated Sep 23 • 10

formalmathatepfl/qwen3-8b-classic-low-timeouts-grpo

8B • Updated Sep 23 • 11

formalmathatepfl/classic-reasoning-grpo-step-175

8B • Updated Sep 23 • 11

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked

8B • Updated Sep 24 • 15