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.
The paper-facing producer-fairness model, Theorems 3.1 and 3.2, Section 4 responsive-market definitions, and Appendix C responsive MSE decomposition are checked
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.