Princeton PLI

⏱️AI is making verification process easier, with models verifying proofs in minutes. 💻 Now, @prfsanjeevarora, @chijinML, @danqi_chen and @PrincetonPLI have released Goedel Prover V2, a model more efficient and more accurate than any previous model. 👉 blog.goedel-prover.com

Shoutout to all the @Princeton researchers participating in @icmlconf #ICML2025 Browse through some of the cutting edge research from AI Lab students, post-docs and faculty being presented this year: pli.princeton.edu/blog/2025/prin…

We’re proud that PLI students, post-docs, and faculty will be featuring over 20 papers at the @icmlconf in Vancouver this week! From safer AI agents to long-context reasoning and RL, we’re excited to showcase the cutting edge research for you here: pli.princeton.edu/blog/2025/prin…

(1/4)🚨 Introducing Goedel-Prover V2 🚨 🔥🔥🔥 The strongest open-source theorem prover to date. 🥇 #1 on PutnamBench: Solves 64 problems—with far less compute. 🧠 New SOTA on MiniF2F: * 32B model hits 90.4% at Pass@32, beating DeepSeek-Prover-V2-671B’s 82.4%. * 8B > 671B: Our 8B…

That's a wrap on the @PrincetonPIIRS Global Seminar in Kenya! Students discovered how to teach a computer to understand African languages & explored the current landscape of language technologies in Africa. Thanks to @happybuzaaba1 for this pic from the final poster session!

Are static evaluations enough to reflect the risk of offensive cyber security attacks? In our latest blog post, authors @wei_boyi @benediktstroebl @JiacenXu @JoieZhang @lzcarl and @PeterHndrsn show the answer is no! Read more: pli.princeton.edu/blog/2025/%E2%…

🦆🚀QuACK🦆🚀: new SOL mem-bound kernel library without a single line of CUDA C++ all straight in Python thanks to CuTe-DSL. On H100 with 3TB/s, it performs 33%-50% faster than highly optimized libraries like PyTorch's torch.compile and Liger. 🤯 With @tedzadouri and @tri_dao

“Our team of research software engineers have played a key role in the cutting-edge research in AI at Princeton that is being picked up by industry and also garnering awards and recognition at leading conferences.” Meet the AI Lab RSEs: bit.ly/3T6h4Fy

Yesterday the AI Lab hosted a year-end celebration to reflect on the work supported by our research initiatives and celebrate our collective achievements. Thanks to everyone who made this year a success — we look forward to the exciting path ahead!

Get to know the AI Lab's postdoctoral researchers with our new Q&A series, Meet the Postdoc First up, we're spotlighting @ethayarajh, who works on understanding how AI will operate as a part of human systems with @PrincetonPLI: ai.princeton.edu/news/2025/meet…

In a new blog post, @HowardYen1 and @xiye_nlp introduce HELMET and LongProc, two benchmarks from a recent effort to build a holistic test suite for evaluating long-context LMs. Read now: pli.princeton.edu/blog/2025/long…

In our blog’s new Deep Dive Series, @anilananth describes how a team at @PrincetonPLI, including @prfsanjeevarora, are looking to answer the questions: Do LLMs experience metacognition? And if so – how can it be leveraged to give models new skills? blog.ai.princeton.edu/2025/04/29/dee…

In our latest blog post, @happybuzaaba1, Alexander Wettig, @davlanade, and Christiane Fellbaum describe the training setting and data for producing Lugha-Llama, an Africa-centric language model Read now: blog.ai.princeton.edu/2025/04/22/lug…

We are hosting the @repro_challenge 2025 on Aug. 21. There will be a mix of invited talks, oral presentations, and poster sessions. Keynote speakers include @random_walker, @soumithchintala, @jefrankle, @JesseDodge and @BlancheMinerva Register now: bit.ly/4cP8vIq

We're so proud that Princeton researchers have received 1 outstanding paper award and 1 honorable mention at @iclr_conf 2025 Congratulations to @PeterHndrsn, @xiangyuqi_pton, @prateekmittal_, @PandaAshwinee, @JiachenWang97, and @vfleaking blog.iclr.cc/2025/04/22/ann…

We are proud to highlight the work of the PLI students, post-docs, and faculty which is being showcased at this year's @iclr_conf: pli.princeton.edu/blog/2025/prin…

Welcome to the AI Lab blog, a place for researchers across @Princeton to share their latest work related to AI. Our first post examines a problem at the intersection of network security and machine learning, from Minhao Jin and @maria__apo: bit.ly/3Y8RsuP

As AI becomes increasingly complex, new language is needed to improve communication between humans and machines, @GoogleDeepMind senior staff research scientist @_beenkim said in a lecture @Princeton Watch the talk: bit.ly/4jhz5Mi

Welcome to the official X for the Princeton Laboratory for Artificial Intelligence (“AI Lab” for short). Our mission is to support and expand the scope of AI research @Princeton Follow our page for the latest updates on events, news, research, and more at the AI Lab

Advance in automated math proofs (Lean) from @PrincetonPLI and collaborators. Better than Deepseek-Prover 1.5 --and currently we use only SFT, no RL! (RL version forthcoming). Planned release: dataset of 1.78M formalized proofs to turbocharge open efforts. Key idea:…