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.

leandojo-benchmark4-v10 – Dataset by 1337xyz1337xyz | AlphaNeural AI

You can deploy this model and start earning money today!

1337xyz1337xyz/
leandojo-benchmark4-v10

like

0

theorem-proving

Views

No views yet

LeanDojo Benchmark 4 v10

This repository mirrors the official LeanDojo Benchmark 4 v10 archive used by plan-crl LeanDojo experiments. Source archive: https://zenodo.org/records/12740403/files/leandojo_benchmark_4.tar.gz?download=1 Metadata from the original archive:

dataset: LeanDojo Benchmark 4 LeanDojo version: 2.0.0 source repository: https://github.com/leanprover-community/mathlib4 source commit: 29dcec074de168ac2bf835a77ef68bbe069194c5 creation time: 2024-07-02 13:14:48.804567… See the full description on the dataset page: https://huggingface.co/datasets/1337xyz1337xyz/leandojo-benchmark4-v10.