← all datasets

Lean

Emerging

3papers using it

2024first seen

🔎 Find this dataset

Papers using Lean (3)

Automating Formal Verification with Agent-Guided Tree Search2026

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

ImProver: Agent-Based Automated Proof Optimization2024

Lean — datasets — ai-agents