Assistant Professor at Ben Gurion University | Game Theory Expert | Formerly Postdoc @Harvard and @Stanford | Rational thinker, perpetual cynic.

Joined November 2011
1/5 I built open-source tools for doing economic theory with LLMs โ€” without letting the model hand-wave a proof. It traveled further than I expected this week, so here's what it is and how to use it. ๐Ÿงต
1
3
1
14
5,313
One thing I love about academia is the opportunity to work with the smartest folks on incredibly interesting stuff. It's the adult equivalent of working at a toy store. And the cherry on top are that these folks are also some of the nicest persons I've ever met! This week we soft launched a passion project of ours that was in stealth mode for too long. While still at a nascent stage, We hope #matheconlib will eventually lay the foundation for theoretical research in economics and adjacent disciplines in the new age of AI aided discovery. Thank you @skominers and @KenOno691 for leading this endeavour and to @chen_ruize3962, Ben Eltschig, @JujianZhang, @bocowgill, @PiotrDworczak, @NikhGarg , @ZivHellman, , and Daniel Lyng for the fun collaboration! See you at our next weekly.
We are open sourcing MathEconLib and made it a lot more polished than before, in collaboration with leading economists! Axiom Math co-founded the project and continues to support its development. We welcome other organizationsโ€™ support - please reach out to the devs about this!
4
9
1,200
1/5 Happy EC-day to the #EconCS community! ๐ŸŽ‰ I couldn't make it to Rome for #EC2026 this year, but Iโ€™m not missing out on the fun. Huge shoutout to Duetting, Simina Brรขnzei, and others for organizing the AI-Driven Research in EconCS workshop. ๐Ÿงต๐Ÿ‘‡
1
3
826
4/5 While it didn't fully solve any of the 24 problems, it definitely made a dent! ๐Ÿ”จ โœ… ~159 reviewer-checked theorems & results โœ… ~12 verified counterexamples & separations Topics spanned fair division, auctions, mechanism design, prophet inequalities & more. ๐Ÿ“ˆ
1
1
408
5/5 Want to help further develop the toolbox, or follow up on any of these results? DM me! ๐Ÿ“ฉ ๐Ÿ“„ 24 generated result papers: lnkd.in/d6A9bEjr ๐Ÿงฐ THEORIST TOOLBOX: lnkd.in/dHG2juQW๐Ÿ“ Method Paper (arXiv:2606.22337): lnkd.in/d2Keyx_v #LLM #AI
1
94
ืขื•ื“ ืคื™ื’ื•ืข ื™ืจื™ ื‘ื—ืกื•ืช ื”ืžืžืฉืœื” ื”ืจื•ืคืกืช, ื”ื›ื ื•ืขื” ื•ื”ืžืกื•ื›ื ืช. ื”ืชื ื”ืœื•ืช ืืฉืจ ืžืคืงื™ืจื” ืืช ืื–ืจื—ื™ ื™ืฉืจืืœ.
1,313
1,684
446
3,999
ื”ืžืžืฉืœื” ืžืชืคืืจืช ืฉื”ืžื—ื‘ืœื™ื ื”ื™ื•ื ืกื•ื›ืœื• ืขืœ ื™ื“ื™ ื—ื™ื™ืœ ื‘ื—ื˜ื™ื‘ืช ื—ืฉืžื•ื ืื™ื ื•ืฉื ื™ ืื‘ืจื›ื™ื ืขื ืืงื“ื—. ืœืคื™ ื”ื”ื™ื’ื™ื•ืŸ ื”ื–ื” - ืชืืจื• ืœืขืฆืžื›ื ื›ืžื” ื‘ื™ื˜ื—ื•ืŸ ื”ื™ื” ืคื” ืื ื”ื™ื• ืžื’ื™ื™ืกื™ื ืืช ื›ืœ ื”ื—ืจื“ื™ื ืœืคื ื™ ืขืฉื•ืจโ€ฆ.
1
107
As a grandson of holocaust survivors, when I see starving children, I don't ask my self "who's blame is it?" but "who has the power to make it stop?" End the war! #NotInMyName
1
84
Yuval Doronโ€™s thesis designs algorithms for temporary placement of evacuees, preserving community ties in crisis. After a year of work, weโ€™re ready to deploy. Sadly, the need is rising again. Please RT & connect us to: @HomeFrontCmd @MisradHapnim @moch_gov_il @NeamanInst
1
1
3
306
ื™ืฉ ืกื™ื›ื•ื™ ืฉื”ืขืœื• ืืช ื”ืฉื "ื“ื•ื“ ื–ื™ื ื™" ื›ื“ื™ ืฉื”ื•ื ื™ืคืกืœ ื‘ื‘ื’"ืฅ ื‘ื’ืœืœ ื”ืœื™ืš ื”ืžื™ื ื•ื™ ื”ืงืœื•ืงืœ ื•ืฉื•ื‘ ืœื—"ื›ื™ื ื”ื“ืช"ืœ ืชื”ื™ื” ืกื™ื‘ื” ืœื”ืชื‘ื›ื™ื™ืŸ?
1
112
ืขื•ื“ ืžืฉื ื•ืช ื”-90 ืื ื™ ืื•ืžืจ "ืืœ ืชืชื ื• ืœื”ื ืงืจื•ืงืกื™ื"
60