⚠️ Attention: The site is currently down. Our engineering team is investigating. We will update as soon as possible. You can track progress here: status.overleaf.com Sorry for any inconvenience.

Besides natural language and formal language, truth table is also a great media for logical reasoning with a synergistic effect. Check out this cool idea from Lichang Chen!

🔥 Excited to share MetaFaith: Understanding and Improving Faithful Natural Language Uncertainty Expression in LLMs🔥 How can we make LLMs talk about uncertainty in a way that truly reflects what they internally "know"? Check out our new preprint to find out! Details in 🧵(1/n):

Excited to see more investigation into LLM creativity. We have some pioneering work on this topic as well: Creativity or Brute Force? Using Brainteasers as a Window into the Problem-Solving Abilities of Large Language Models. arxiv.org/pdf/2505.10844.

Excited for the release of SciArena with Ai2! LLMs are now an integral part of research workflows, and SciArena helps measure progress on scientific literature tasks. Also checkout the preprint for a lot more results/analyses. Led by: Yilun Zhao, Kaiyan Zhang 📄 paper:

Update: It’s happening at 2pm! Exciting journey, Come and join us!

Love the thread, thank you Rohan!

If you are at #ICCV2025 - the Knowledge-Intensive Multimodal Reasoning Workshop is about to start, in Room 313 C !

As PhD students, we believe research automation systems should belong to everyone, not just Google, so we built freephdlabor. Customize your multi-agent system for end-to-end research that WORKS FOR YOUR DOMAIN within hours. full source code: github.com/ltjed/freephdl…

I will be attending #EMNLP2025 this week to present LiteASR, a compression method for speech encoders (a collaborative work with Kotoba). Catch our poster at the first poster session on Wednesday morning. Happy to chat about efficiency, speech, or both!

Check out our #ICLR2026 paper on how strong references can especially help improve LLMs on non-verifiable tasks.