3 papers
cs.GT2026
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…
cs.SI2026
Paper Skygest: Personalized Academic Recommendations on Bluesky
Sophie Greenwood, Nikhil Garg
We build, deploy, and evaluate Paper Skygest, a custom personalized social feed for scientific content posted by a user's network on Bluesky and the AT Protocol. We leverage a new…
cs.IR2024
User-item fairness tradeoffs in recommendations
Sophie Greenwood, Sudalakshmee Chiniah, Nikhil Garg
In the basic recommendation paradigm, the most (predicted) relevant item is recommended to each user. This may result in some items receiving lower exposure than they "should"; to…