← back to paper

Review history

arxiv: 2606.13306 · 2 revisions

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

1. 2026-07-03 ACCEPT MODERATE v0.9.1-grok novelty 7.0
   26090 ms 5755 in 1085 out 2026-07-03T23:53:21.058348+00:00
2. 2026-06-27 UNVERDICTED LOW v0.9.1-grok novelty 6.0
   18837 ms 5777 in 1029 out 2026-06-27T05:09:26.112810+00:00