🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Check out the PokeAgent Challenge for NeurIPS 2025 and consider participating!

Hello again, Vancouver

🚀 Huge milestone from our Goedel-Prover team: we’ve just released a new state-of-the-art model (8B & 32B) for automated theorem proving—surpassing the previous best 671B DeepSeek model by a wide margin, all with academic compute!

We’re proud that PLI students, post-docs, and faculty will be featuring over 20 papers at the ICML Conference 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…

👾Are you interested in LLMs for two-player competitive games with partial information? Or perhaps just a Pokemon fan? Come check out our #ICML spotlight poster at 4:30PM in West Exhibition Hall B2-B3 #W-815

Shoutout to all the Princeton University researchers participating in ICML Conference #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…

🚀 New preprint! 🤔 Can one agent “nudge” a synthetic civilization of Census‑grounded agents toward higher social welfare—all by optimizing utilities in‑context? Meet the LLM Economist ↓

Thanks AK for the interest in the LLM Economist! For details on synthetic nudging + democratic alignment, check the full thread ↘️ x.com/sethkarten/sta…

Pushing the frontier is good, but I like speedrunning. How far could your agent do in 6 hours? pokeagent.github.io

LLM Economist creates optimal tax policy <—> TaxCalcBench does your taxes AI Tax Civilization: Who is building this? arxiv.org/abs/2507.15815

Honored by Rohan Paul‘s summary of the LLM Economist!

I vibe-coded a hidden 90s-style easter egg to my website. I used Huggingface’s Anycoder to prototype the retro design direction—think neon text and CRT glow. If you can guess the secret code, you can view the final form on my website. Sneak peek below...