Kevin Ren
@kevinren09.bsky.social did:plc:6tpghlacugivnjwbefcfcck4
CS PhD Cornell Tech!
Sur Bluesky depuis le
- Abonnés
- 19
- Abonnements
- 17
- Posts
- 15
- Jours dans les classements
- 0
Résumé
Kevin Ren (@kevinren09.bsky.social) est sur Bluesky depuis le 22 septembre 2025. Le compte a 19 abonnés, suit 17 comptes et a publié 15 posts.
Présence dans les classements
Les meilleurs jours où les posts de ce compte sont entrés dans le top quotidien de Debya.
Ce compte n’est encore apparu dans aucun classement quotidien.
Posts aimés récemment
J’aime publics du réseau Bluesky.
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...
Voir le postCornell (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
Voir le postI'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)
Voir le postOne 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/...
Voir le postI dream of one day also introducing an Isabel(le) Corpus
Voir le post
Comptes bloqués
Sur Bluesky, les blocages sont publics.
Ce compte ne bloque personne.