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.
leandojo-lean4-retriever-byt5-smallleandojo-lean4-tacgen-byt5-smallleandojo-lean4-retriever-tacgen-byt5-smallct2-leandojo-lean4-tacgen-byt5-smallct2-leandojo-lean4-retriever-byt5-smallleandojo-lean4-retriever-byt5-small-hammerleandojo-lean4-tacgen-byt5-small-randomleandojo-lean4-tacgen-byt5-small-novel-premiseslean4-autoformalizer-sftqwen3-8b-lean4-prover-finetunedqwen3-8b-lean4-prover-dpoQwen-3-8B-Lean4-Autoformalizationqwen35-9b-lean4-nl2leanqwen35-9b-lean4-nl2lean-diff10qwen35-9b-lean4-nl2lean-diff1qwen35-9b-lean4-nl2lean-diff2qwen35-9b-lean4-nl2lean-diff3qwen35-9b-lean4-nl2lean-diff4qwen35-9b-lean4-nl2lean-diff5qwen35-9b-lean4-nl2lean-diff6qwen35-9b-lean4-nl2lean-diff7qwen35-9b-lean4-nl2lean-diff8qwen35-9b-lean4-nl2lean-diff9qwen35-2b-lean4-nl2leanqwen35-2b-lean4-nl2lean-diff1qwen35-2b-lean4-nl2lean-diff2qwen35-2b-lean4-nl2lean-diff3qwen35-2b-lean4-nl2lean-diff4qwen35-2b-lean4-nl2lean-diff5qwen35-2b-lean4-nl2lean-diff6