15 results

formal-reasoning

inall models datasets apps agents people projects

Models

All models matching “formal-reasoning”

formalmathatepfl /classic-grpo-reasoning-sfttext-generationtransformers0 likes579 downloads4d agoHugging Face formalmathatepfl /feedback-grpo-reasoning-sfttext-generationtransformers0 likes483 downloads2d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-reasoningtext-generationtransformers0 likes373 downloads27d agoHugging Face reasoning-degeneration-dev /algo-sft-formal-logic-truth-tablepeft0 likes21 downloads6mo agoHugging Face formalmathatepfl /classic-reasoning-grpo-step-1750 likes18 downloads2d agoHugging Face Formal-Math-Reasoning /DRIFT-dpr-mathlib1 likes9 downloads8mo agoHugging Face reasoning-degeneration-dev /algo-sft-formal-logic-bottom-uppeft1 likes9 downloads6mo agoHugging Face reasoning-degeneration-dev /algo-sft-formal-logic-distill-qwqpeft0 likes7 downloads6mo agoHugging Face