Introducing TokenSpeed, a speed-of-light LLM inference engine.
> TensorRT LLM level performance
> vLLM level usability
> Built by a lean and mission-driven team in two months
> MIT license, open-source
https://t.co/MJzhCEg7m8
https://t.co/anhoETwwS9
🗣️📣Announcing VerifAI 2: AI Verification in the Wild, an upcoming workshop at #ICLR2026!! 🗣️📣
VerifAI will gather researchers to explore topics at the intersection of genAI and trustworthy ML. Submit your work!
Check out our website and CFP for more: https://t.co/VFWNqp7zCK
🤔 Can AI optimize the systems it runs on?
🚀 Introducing FlashInfer-Bench, a workflow that makes AI systems self-improving with agents:
- Standardized signature for LLM serving kernels
- Implement kernels with your preferred language
- Benchmark them against real-world serving workloads
- Fastest kernels get day-0 integrated into production
First-class integration with FlashInfer, SGLang (@lmsysorg ), and vLLM (@vllm_project ) at launch🙌
Blog post: https://t.co/RG3oMO9brO
Leaderboard: https://t.co/R9T4jJJNd0
🚨 Big Announcement 🚨
We’ve officially completed our rebranding! MGX is now Atoms (@atoms_dev) 🎉
But that’s not all
for the latest product details, case studies, AMA sessions, and event updates, head over to @atoms_dev!
👇 Follow us now to stay in the loop!
We finally had a moment to run our system with GPT-5.2 X-High on ARC-AGI-2!
Using the same Poetiq harness as before, we saw results as high as 75% at under $8 / problem using GPT-5.2 X-High on the full PUBLIC-EVAL dataset. This beats the previous SOTA by ~15 percentage points.
Welcome to submit your work on coding agents to the DL4C workshop at NeurIPS2025! I’m excited that we have such a workshop to discuss together the present and future of code intelligence!
📣Excited to announce that the 4th #DL4C workshop “Deep Learning for Code in the Agentic Era" is coming to @NeurIPSConf 2025!
AI coding agents are transforming software development at an unprecedented pace. Join us to explore the cutting edge of agent-based programming, multi-agent collaboration, and the next era of developer-AI interaction among many, many exciting topics in the broad realm of #DL4C.
📝Call for Papers will be announced soon! We welcome all kinds of relevant papers: research, position, demo, or tiny.
📅Paper submission deadline: ~Aug 22
Stay tuned for more updates!
Workshop hosted by @sivil_taram (TikTok), @ZhiruoW (@LTIatCMU), @xu3kev (@MistralAI), @610v4nn1__ (@awscloud), @huybery (@Alibaba_Qwen), @ahmadwasi (@NVIDIAAI), and @zijianwang30 (@awscloud).
Today we are announcing ARC-AGI-2, an unsaturated frontier AGI benchmark that challenges AI reasoning systems (same relative ease for humans).
Grand Prize: 85%, ~$0.42/task efficiency
Current Performance:
* Base LLMs: 0%
* Reasoning Systems: <4%
We are hosting the MIT Programming Languages Review on April 25th in person here at MIT! The PLR is a student-run workshop that aims to highlight the best papers from the past year that we believe will have a significant impact on shaping the future direction of PL research.
Full blown productivity in VSCode with OCaml: Happy New Year, OCamlers! 🎉 As we usher in another year, we have something special to celebrate — a New Year's gift that promises to make your coding experience even better! We have been… https://t.co/2x5dQdTRdr #OCaml#OCamlPlanet
Introducing MGX (MetaGPT X), The First AI Dev Team.
· Chat with the AI team leader, product manager, architect, engineer, and data analyst 24/7 to create websites, blogs, shops, analytics, games, or anything else you can imagine.
· Build, deploy, share, and remix various creations in a new App World.
· Powered by the world's first multi-agent programming framework, and ranked #1 LLM Agent at ICLR2024.
✨Try it free: https://t.co/n2x3FQzzx9
BTW, we'll open source MetaGPT v1.0 soon.
#MGX #MetaGPT #DevTools #Agent #Coding #Development
The submission deadline to our workshop has been extended until Feb. 7!!!! Submit your papers on trustworthiness + verification + genAI + ML and come hang with us in Singapore!
The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
📣Announcing VerifAI: AI Verification in the Wild, a workshop at #ICLR2025
VerifAI will gather researchers to explore topics at the intersection of genAI/trustworthyML and verification: https://t.co/3BIMRup0G7
@celine_ylee@theo_olausson@ameeshsh@wellecks@taoyds
We are working endlessly on this. Trying to uncover the truth. We have open-sourced the traces so that everyone in the community can take a look at them and discover what went wrong: https://t.co/8lJSc8suIc
I will be posting more updates as we progress. Stay tuned! 🚀