Beta

Explore
Marketplace
Neural Labs
Playground
Wallet
Docs

Beta

Explore Marketplace Neural Labs Wallet Docs

Build

Manage

My assets Manage wallet Organization

Community

Discord X (Twitter)Telegram

Docs Privacy Policy Terms and Conditions

Proud member of

Proud member of

Docs Cookie Policy

Privacy Policy Terms and Conditions

© 2026 AlphaNeural AI. All rights reserved.

qwen3-4b-lean-eval-GGUF – AI Model by Lemmy00 | AlphaNeural AI

You can deploy this model and start earning money today!

Lemmy00/
qwen3-4b-lean-eval-GGUF

like

0

theorem-proving

endpoints_compatible

Views

No views yet

Qwen3-4B Lean Eval (GGUF)

GGUF conversion of a fine-tuned Qwen3-4B model for Lean theorem proving evaluation.

Files

qwen3-4b-lean-eval-f16.gguf — Full F16 precision (8.8 GB)

Usage

Download the GGUF file and load it in LM Studio or any llama.cpp-compatible runtime.