InterconnectsArtifacts Hub
withVAILVAIL
All models

LongCat-Flash-Prover

byMeituan LongCatMeituan LongCat· 20 Mar 2026
Special purpose

A Lean4 fine-tune of the large LongCat model.

Specs
Params560B
LicenseMIT
Tags
modelsmodels/llmsmodels/llms/reasoningartifacts/20
Resources
Hugging Face — meituan-longcat/LongCat-Flash-ProverPaper / tech reportAppeared in Artifacts Log #20
Adoption · Interconnects
RAM score
—
Hugging Face Downloads
543
last 30d
1.1K
all time
HF Likes
34

Relative Adoption Metric contextualizes downloads against the model's size bucket.

Related Models

More from Meituan LongCat

LongCat-Next
Meituan LongCatMeituan LongCat25 Mar 2026
LongCat-Image-Edit-Turbo
Meituan LongCatMeituan LongCat03 Feb 2026
LongCat-Flash-Lite
Meituan LongCatMeituan LongCat27 Jan 2026
LongCat-HeavyMode-Summary
Meituan LongCatMeituan LongCat14 Jan 2026

Similar Models

GLM-4.7
Z.aiZ.ai22 Dec 2025
NVIDIA Nemotron 3 Ultra 550B
NVIDIANVIDIA04 Jun 2026
A.X K1
sktskt29 Dec 2025
DeepSeek-V3.2
DeepSeekDeepSeek01 Dec 2025