내가 좋아할 만한 콘텐츠
i've spent serious efforts working on developing math problems with an unambiguous (e.g., numerical) answer that gpt-5-pro cannot solve. it is *nontrivial* to do so. it was totally different even 4-6 months ago.
It is easy to overlook but hard to overstate how big a role "test-time inference" has played in modern LLM gains in reasoning. I myself wasn't sure, so I put GPT-5 and Gemini-2.5 to a classic programming puzzle called variable shadowing (en.wikipedia.org/wiki/Variable_…): Both models in…
Prospective PhD students: my research group has openings starting in Fall 2026! We focus on building principled yet practical systems for trustworthy AI. We are developing foundation models and agentic frameworks for critical domains such as cybersecurity, robotics, and…
📢 The Software Engineering group at @Cornell_Bowers is growing fast -- we're now 8 PhD students strong! I’m recruiting PhD students for Fall 2026! If you are interested in the intersection of SE and AI, apply to Cornell CS and reach out! Ddl: Dec 15, 2025. RT!
We introduce Delta Activations, a lightweight yet powerful mechanism to represent AI models, with practical applications such as model selection ("find the best model for task instance X") and model merging ("combine models A and B without re-training to obtain a better model").…
How do we navigate a growing collection of post-trained LLMs? In Delta Activations: A Representation for Finetuned LLMs, we propose a compact embedding that encodes the post-training signal. Try the interactive model navigator 👉 oscarxzq.github.io/delta_activati…
Swing by our poster session today at 11 if you're at ICML to learn more about speeding up neurosymbolic learning! We will be in the East Exhibition Hall A-B, # E-2003
We are excited to share Dolphin, a programmable framework for scalable neurosymbolic learning, to appear at ICML 2025! Links to paper and code in thread below 👇
Very much enjoyed advocating for symbolic reasoning for Trustworthy AI in my NSF CISE lecture, the recording is now available at nsf.gov/events/neurosy…
Congratulations to Dr. Ziyang Li (@_ziyang_) on defending his dissertation today! Titled "Neurosymbolic Programming in Scallop: Design, Implementation, and Applications", this dissertation proposed Scallop, a unified programming system for combining the otherwise complementary…
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosy…
One of the most effective things the U.S. or any other nation can do to ensure its competitiveness in AI is to welcome high-skilled immigration and international students who have the potential to become high-skilled. For centuries, the U.S. has welcomed immigrants, and this…
Foundation models can now perform many reasoning tasks via prompting alone. So do we still need to train neuro-symbolic systems? Our position paper argues that neuro-symbolic prompting, not training, is the path to generalizable and interpretable reasoning.
🧠 Foundation models are reshaping reasoning. Do we still need specialized neuro-symbolic (NeSy) training, or can clever prompting now suffice? Our new position paper argues the road to generalizable NeSy should be paved with foundation models. 🔗 arxiv.org/abs/2505.24874 (🧵1/9)
I am alarmed by the proposed cuts to U.S. funding for basic research, and the impact this would have for U.S. competitiveness in AI and other areas. Funding research that is openly shared benefits the whole world, but the nation it benefits most is the one where the research is…
We are excited to share Dolphin, a programmable framework for scalable neurosymbolic learning, to appear at ICML 2025! Links to paper and code in thread below 👇
We can’t thank @awscloud enough for the support! We are excited to see the developments in our students research!
With $840K in funding from @awscloud, @PennAsset is supporting 12 Ph.D. students conducting cutting-edge research in AI safety, robustness and interpretability. bit.ly/422Nfeo #AIMonth2025 #TrustworthyAI
Founders who were PhD or post-doc in my lab at Berkeley, **largely funded by NSF / DoD grants**, start-up, market cap (collected by OpenAI Deep Research)
United States 트렌드
- 1. Westbrook 10.6K posts
- 2. Rickey 1,656 posts
- 3. Gold Glove 6,382 posts
- 4. Kings 135K posts
- 5. #wednesdaymotivation 8,735 posts
- 6. Jay Jones 65.9K posts
- 7. Veo 3.1 3,269 posts
- 8. Maybe in California N/A
- 9. Big Balls 12.4K posts
- 10. Lavine N/A
- 11. Jared Leto 7,619 posts
- 12. Young Republicans 131K posts
- 13. Voting Rights Act 17K posts
- 14. Noah Brown N/A
- 15. Brodie 3,980 posts
- 16. Justice Jackson 5,072 posts
- 17. Bessent 71.8K posts
- 18. Summer Walker 3,849 posts
- 19. Vision Pro 5,140 posts
- 20. Sabonis N/A
내가 좋아할 만한 콘텐츠
-
Isil Dillig
@IsilDillig -
Suguman Bansal
@sugumanbansal -
PL/FM/SE at Illinois
@plfmse -
Swarat Chaudhuri
@swarat -
Loris D'Antoni
@lorisdanto -
Saikat Dutta
@saikatdutta2012 -
Yiying Zhang
@yiying__zhang -
Somesh Jha
@jhasomesh -
Rohan Padhye
@moarbugs -
Sumit Gulwani
@SumitGulwani -
Michael Carbin
@mcarbin -
Ilya Sergey
@ilyasergey -
Zhendong Su
@zhendongsu -
Neeraja Yadwadkar
@NeerajaJY -
Alan Liu 🏍️
@Alan_Lau
Something went wrong.
Something went wrong.