models
Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.
classic-grpo-reasoning-sftfeedback-grpo-reasoning-sftqwen3-sft-feedback-with-proof-repair-reasoningalgo-sft-formal-logic-truth-tableclassic-reasoning-grpo-step-175DRIFT-dpr-mathlibalgo-sft-formal-logic-bottom-upalgo-sft-formal-logic-distill-qwqadaption_formal_reasoning_step_verificof-formal-6k-checkpoints