"Got yet another Google Scholar alert for a hallucinated citation of a paper I didn't write. This is the second time this has happened. Please don't use LLMs to write your related work section"
@taliaringer.bsky.social on X
xcancel.com/TaliaRinger/...
Had way too much fun playing Publish or Perish with my lab today. The best part of the game by far is the 1-minute "defense" speech everyone has to give at the end. There were many laughs
@taliaringer.bsky.social mentioned!
IDE for validating specifications
It uses #LeanLang #LeanProver
blog.atlascomputing.org/p/ide-for-va...
thx to @taliaringer.bsky.social and @natolambert.bsky.social for their sharp insights on the mechahilter incident as a turning point for AI norms and accountability
www.washingtonpost.com/technology/2...
🤖 At #ICML? Come check out our position poster "Stop treating ‘AGI’ as the north-star goal of AI research", wherein we challenge the “it goes without saying” narrative that AGI is a great goal for AI research. Tomorrow (Thursday the 17th) between 11 and 13:30. I’ll be there with @graziul.bsky.social
ITP Matcha & Jenga
Proud that "Proof Repair across Quotient Type Equivalences" with Cosmo Viola and Max Fan was conditionally accepted to OOPSLA 2025! The current version is below; will post again when we have the camera-ready
Congrats to my incoming PhD student Jasper Lee on the NSF GRFP!
siebelschool.illinois.edu/news/illinoi...
Oh this guy was very annoying
I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking
Why are OOPSLA and ICSE rebuttals literally the same exact time period? Seems silly, there is substantial overlap in both the author and the reviewer pool
Took Sarah to a lab event yesterday and she gave my student Hannah a hug 😭🥰😍
Fun fact: at least three authors of this paper became parents to new babies over the course of this project
Beneficial. I can't spell in English right now apparently
Our work deconstructing AGI as a concept is also now a reference in www.aisnakeoil.com/p/agi-is-not....
If you're a podcast person, other coverage includes this podcast from @techpolicypress.bsky.social! www.techpolicy.press/should-agi-r...
I liked the title
"Stop treating `AGI' as the north-star goal of AI research"
6) Normalizing exclusionary practices of who counts as the "most important people" for defining how technology is developed. 4/
3) Presuming a tech system can be value neutral or value all-inclusive (benefitting all)
4) Progressing as though there's deep intellectual+societal merit behind who gets to define how "AGI" is developed
5) Relying on the vagueness of "general" to avoid defining what's actually being learned
3/
...AI researchers fall into when they set "AGI" as a north-star of research. This includes:
1) Assuming there's consensus on what "AGI" means
2) Grounding research on positive vibes and hype rather than scientific rigor
2/
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/
arxiv.org/abs/2502.03689
Authors include @struthious.bsky.social @elmhamdi.bsky.social @evijit.io @kat-heller.bsky.social Jacob Metcalf, Fabricio Murai, @eryk.bsky.social @andrewthesmart.bsky.social Todd Snider, Mariame Tighanimine and @taliaringer.bsky.social ! /end
I've had a visiting PhD student from China this year and so far it has been really amazing for everyone. Like, good for the student, good for me, and good for my lab. Mutually benificial for everyone. Very sad that this kind of thing might get harder under Trump.
how many courts need to rule your actions are unconstitutional before democratic leadership lets impeachment move forward
Yeah it was mostly just stalling for a long time because I got pregnant and my friend took over the lead on organizing partway through
It was a really good year for recruiting at Illinois Theorem Provers. We have five awesome PhD students joining in the fall! Going to do lots of collaborative projects and coadvising for sure; potential coadvisors feel free to reach out!
It's pretty accurate for now
My Amazon book recommendations
