30 shown

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.

01mradermacher /distilgpt2-proofs-i1-GGUFtransformersen0 likes312 downloads1y agoHugging Face 02mradermacher /distilgpt2-proofs-GGUFtransformersen0 likes258 downloads1y agoHugging Face 03christopherastone /distilgpt2-proofstext-generationtransformerstf0 likes180 downloads3y agoHugging Face 04AXIOM-TECH /ProofSeeker_v1-GGUFtext-generation0 likes24 downloads3mo agoHugging Face 05SalehAfroogh /proof-system-comparison-llama-suppes-lemmon-v20 likes19 downloads22d agoHugging Face 06kings-crown /ProofSeeker_v10 likes18 downloads2y agoHugging Face 07SalehAfroogh /proof-system-comparison-llama-suppes-lemmon0 likes17 downloads23d agoHugging Face 08SalehAfroogh /proof-system-comparison-llama-suppes-lemmon-v3-adamw0 likes16 downloads21d agoHugging Face 09baoding /qwen3-1.7b_full_sft_proofsteptext-generationtransformers0 likes15 downloads11mo agoHugging Face 10SalehAfroogh /proof-system-comparison-llama-suppes-lemmon-instruct0 likes14 downloads19d agoHugging Face 11tensorblock /unverified_stratos_mix_no_proofs_without_metadata-GGUFtransformers0 likes11 downloads9mo agoHugging Face 12baoding /mistral-7b_full_sft_proofsteptext-generationtransformers0 likes11 downloads4mo agoHugging Face 13HerrHruby /baseline_grpo_proofs_step_2800 likes7 downloads7mo agoHugging Face 14tomreichel /proof-synthesis-modeltransformers0 likes2y agoHugging Face 15Konstantine4096 /qwen7b_proofstransformers0 likes2y agoHugging Face 16neural-interactive-proofs /finetune_dpo_cv_test_lm_server_30_0_iter_0_provers_group_2025-06-18_15-40-03_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 17neural-interactive-proofs /finetune_dpo_cv_test_lm_server_34_0_iter_0_provers_group_2025-06-18_17-02-34_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 18neural-interactive-proofs /finetune_dpo_cv_test_lm_server_45_0_iter_0_provers_group_2025-06-19_11-38-10_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 19neural-interactive-proofs /finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_12-35-00_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 20neural-interactive-proofs /finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_12-43-38_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 21neural-interactive-proofs /finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_14-40-50_Qwen_Qwen2.5-0.5B-Itransformers0 likes1y agoHugging Face 22neural-interactive-proofs /finetune_dpo_cv_open_prover_training_test_3_0_iter_0_provers_group_2025-06-23_12-54-29_Qwen_Qwentransformers0 likes1y agoHugging Face 23neural-interactive-proofs /finetune_dpo_Qwen_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_0_provers_group_175transformers0 likes1y agoHugging Face 24neural-interactive-proofs /finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_1_provers_group_17506961transformers0 likes1y agoHugging Face 25neural-interactive-proofs /finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_0_provers_group_17507733transformers0 likes1y agoHugging Face 26neural-interactive-proofs /finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_1_provers_group_17507748transformers0 likes1y agoHugging Face 27neural-interactive-proofs /finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_11_0_iter_0_provers_group_1750942transformers0 likes1y agoHugging Face 28neural-interactive-proofs /finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_0_provers_group_1750950transformers0 likes1y agoHugging Face 29neural-interactive-proofs /finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_1_provers_group_1750951transformers0 likes1y agoHugging Face 30neural-interactive-proofs /finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_2_provers_group_1750952transformers0 likes1y agoHugging Face

Listings come live from the Hugging Face Hub API. Team Ai does not host these files.