Kevin Ren
@kevinren09.bsky.social did:plc:6tpghlacugivnjwbefcfcck4
CS PhD Cornell Tech!
Bei Bluesky seit
- Follower
- 19
- Folgt
- 17
- Posts
- 15
- Tage in Ranglisten
- 0
Zusammenfassung
Kevin Ren (@kevinren09.bsky.social) ist seit 22 September 2025 auf Bluesky. Das Konto hat 19 Follower, folgt 17 Konten und hat 15 Posts veröffentlicht.
Ranglisten-Platzierungen
Die besten Tage, an denen Posts dieses Kontos in Debyas Tagesliste kamen.
Dieses Konto war noch in keiner Tagesrangliste.
Zuletzt gelikte Posts
Öffentliche Likes aus dem Bluesky-Netzwerk.
Super proud to be part of this effort and this distinguished group, to which, I have to say, my main contribution is raising the average height news.cornell.edu/stories/2026...
Post anzeigenCornell (and me) is hiring postdocs, with focus on technical AI/ML research. Deadline for full consideration: Dec 15. I am recruiting through this call as well. Apply as early as possible, because I am starting to review folders now! Apply here: academicjobsonline.org/ajo/jobs/33230
Post anzeigenI'm also recruiting through this postdoc call -- anything related to my interests + AI, but please especially reach out of you're interested in AI autoformalization in Lean. (To see some of my work here, see gargnikhil.com/AppliedModel... and this preprint: arxiv.org/abs/2606.13306)
Post anzeigenOne reason I do not publicly complain about AI generated application emails, nor reply curtly to the applicants, is that the equilibrium we're in affects them much more than any annoyance I might have in receiving the emails. AI usage by both sides is bleak www.nytimes.com/interactive/...
Post anzeigenI dream of one day also introducing an Isabel(le) Corpus
Post anzeigen
Blockierte Konten
Blockierungen sind auf Bluesky öffentlich.
Dieses Konto blockiert niemanden.