Beta

Explore
Marketplace
Neural Labs
Chat
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.

llmstep-mathlib4-Pythia410m – AI Model by 30hzzh | AlphaNeural AI

You can deploy this model and start earning money today!

30hzzh/
llmstep-mathlib4-Pythia410m

like

0

Views

No views yet

llmstep project

This model is a Pythia-410m-deduped language model fine-tuned on LeanDojo Benchmark 4.

The model is fine-tuned on sequences of the form:

[GOAL]tactic-state[PROOFSTEP]next-tactic<|endoftext|>