🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/ ☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props) 🔗 https://leni.sh, https://pixelfed.social/chrysoberyl ❄️ Training AI on my content is prohibited

PhD student in ML

I study algorithms/learning/data applied to democracy/markets/society. Asst. professor at Cornell Tech. https://gargnikhil.com/. Helping building personalized Bluesky research feed: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest

PhD Student @ Cornell CIS Bluesky paper digest: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest

Building personalized Bluesky feeds for academics! Pin Paper Skygest, which serves posts about papers from accounts you're following: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest. By @sjgreenwood.bsky.social and @nkgarg.bsky.social

Machine learning researcher at Microsoft Research. Adjunct professor at Stanford.

The 2025 Conference on Language Modeling will take place at the Palais des Congrès in Montreal, Canada from October 7-10, 2025

third-year phd student at jhu psych | perception + cognition https://talboger.github.io/

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app