EconCSLib is a public Lean 4 library containing 20 formalized papers plus shared components for probability, auctions, matching, and social choice, supported by an LLM-driven formalization workflow.
Sections 2 and 4 are checked, and Section 3 has the query, descent, Graham-consequence, rounded-search, and ratio-transfer support needed for the approximation route
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research
EconCSLib is a public Lean 4 library containing 20 formalized papers plus shared components for probability, auctions, matching, and social choice, supported by an LLM-driven formalization workflow.