{"id":"https://openalex.org/W7164489286","doi":"https://doi.org/10.48550/arxiv.2606.13306","title":"EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research","display_name":"EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164489286","doi":"https://doi.org/10.48550/arxiv.2606.13306"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.13306","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13306","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.13306","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138547779","display_name":"Nikhil Garg","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Garg, Nikhil","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5138547779"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.3785000145435333,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.3785000145435333,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.09969999641180038,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.035999998450279236,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.8321999907493591},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44269999861717224},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4260999858379364},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.39959999918937683},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3840999901294708},{"id":"https://openalex.org/keywords/lean-manufacturing","display_name":"Lean manufacturing","score":0.36079999804496765},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.34060001373291016}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8321999907493591},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.704200029373169},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5436000227928162},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44269999861717224},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.39959999918937683},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3840999901294708},{"id":"https://openalex.org/C137335462","wikidata":"https://www.wikidata.org/wiki/Q380772","display_name":"Lean manufacturing","level":2,"score":0.36079999804496765},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.34060001373291016},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30239999294281006},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.2953000068664551},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2768000066280365},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.26829999685287476},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.2623000144958496},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.2563999891281128}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.13306","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13306","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.13306","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13306","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6158586144447327,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"EconCSLib,":[3],"a":[4,49,87,160],"Lean":[5,39,42,56,58,79,131,148],"4":[6,106],"library":[7,172],"and":[8,21,62,64,67,90,105,124,166,173],"workflow":[9,174],"for":[10,114],"formalizing":[11],"research":[12],"papers":[13,37,104],"in":[14,38,154],"applied":[15,142],"modeling":[16],"fields":[17],"such":[18,159],"as":[19],"Economics":[20],"Computation,":[22],"with":[23,111,179],"language-model":[24],"assistance.":[25],"The":[26,44,97,171],"goal":[27],"of":[28,130,150,157],"EconCSLib":[29],"is":[30,48],"to":[31,34,93,145,168],"enable":[32],"researchers":[33,144],"formalize":[35],"their":[36],"without":[40],"knowing":[41],"themselves.":[43],"central":[45],"design":[46],"principle":[47],"human-AI-Lean":[50],"formalization":[51,149],"workflow:":[52],"an":[53],"LLM":[54],"writes":[55],"code,":[57],"checks":[59],"formal":[60],"statements":[61,75],"proofs,":[63],"both":[65],"humans":[66],"LLM-as-judge":[68],"processes":[69],"can":[70],"verify":[71],"that":[72],"the":[73,140,155,169],"paper's":[74],"were":[76],"translated":[77],"into":[78],"correctly.":[80],"We":[81,163],"develop":[82],"agent":[83],"skills,":[84],"human-facing":[85],"reporting,":[86],"review":[88],"dashboard,":[89],"auditing":[91],"procedures":[92],"support":[94],"this":[95],"workflow.":[96],"current":[98],"public":[99],"repository":[100],"contains":[101],"20":[102],"formalized":[103,108],"partially":[107],"papers,":[109],"along":[110],"shared":[112],"libraries":[113],"probability":[115],"(including":[116],"stochastic":[117],"processes),":[118],"auctions,":[119],"matching":[120],"markets,":[121],"social":[122],"choice,":[123],"graph":[125],"tools,":[126],"totaling":[127],"986,391":[128],"lines":[129],"code.":[132],"To":[133],"our":[134],"knowledge,":[135],"we":[136],"are":[137,175],"also":[138],"among":[139],"first":[141],"math":[143],"systematically":[146],"pursue":[147],"one's":[151],"own":[152],"publications":[153],"process":[156],"building":[158],"community":[161],"library.":[162],"welcome":[164],"users":[165],"contributors":[167],"project.":[170],"available":[176],"at":[177,183],"https://github.com/nikhgarg/EconCSLib,":[178],"corresponding":[180],"project":[181],"webpage":[182],"https://gargnikhil.com/EconCSLib/.":[184]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-13T00:00:00"}