Lean

Emerging

3papers using it

2024first seen

The 'Lean' dataset/benchmark contains specifications and machine-checked proofs of correctness used to evaluate the performance of large language models in generating verified code through formal verification techniques.

🔎 Find this dataset

Papers using Lean (1)

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover2026