14 results

formal-proof

inall models datasets apps agents people projects

Models

All models matching “formal-proof”

formalmathatepfl /qwen3-sft-feedback-with-proof-repairtext-generationtransformers0 likes2.4k downloads26d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rltext-generationtransformers0 likes1.9k downloads20d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-reasoningtext-generationtransformers0 likes359 downloads25d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rl-1500 likes110 downloads12d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rl-125-unmasked0 likes31 downloads1d agoHugging Face xl-zhao /formal_proof_generator_v1_iter3en0 likes9 downloads2y agoHugging Face xl-zhao /formal_proof_generator_v2_iter3en0 likes9 downloads2y agoHugging Face xl-zhao /formal_proof_generator_v4_iter3en0 likes6 downloads2y agoHugging Face