EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research

Nikhil Garg

This paper presents EconCSLib, a Lean 4 library and workflow for formalizing research papers in applied modeling fields such as Economics and Computation, with language-model assis…