Jingbang Chen retweeted
STOC 2027 received 1665 submissions. In a bold new experiment, all submissions (and author identities) are immediately made public. This is the most immediate and revealing posting of any conference I am aware of.
Take a look and see what you find!
stoc2027.sigact-ec.workers.d…
New benchmark by Zeyu, my student Yuyang and many other great contributors!
New benchmark: reuF2F
244 open math problems from Research Experiences for Undergraduates (REU) programs, formalized in Lean.
Paper: zeyu-zheng.github.io/reuF2F.…
1/5
Verification has become the bottleneck as LLMs start proving conjectures at scale! No worries, Lean can help. But how well can AI agents solve open problems formalized in Lean, end to end?
Introducing reuF2F: 244 open math problems from Research Experiences for Undergraduates (REU) programs, spanning a broad range of math areas, formalized by experts in Lean.
We also build Leanimum-agent, a minimal coding agent for Lean, so every model is compared under the same harness.
Even the best-performing model resolves only 109 out of 244 problems. More below 🧵
3
126
Jingbang Chen retweeted
arXiv has updated our policy on rate limiting for all submitters.
This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors.
Please read our announcement to learn more: blog.arxiv.org/2026/10/01/up…
ALT arXiv logo in white over a whiteboard with math symbols.
Jingbang Chen retweeted
A list of tasks for which LLMs (mostly GPT-6 Pro) have found solutions significantly better and non-trivially different from the authors’ solutions: qoj.ac/blog/qingyu/blog/4412
The list is still being updated, and I'll mark all solutions I find particularly interesting.
Jingbang Chen retweeted
We have announced The 3rd Universal Cup Finals: ucup.ac/news/3rd-ucup-finals…
Jingbang Chen retweeted
1/n
I’m really excited to share that our @OpenAI reasoning system got a perfect score of 12/12 during the 2025 ICPC World Finals, the premier collegiate programming competition where top university teams from around the world solve complex algorithmic problems. This would have placed it first among all human participants. 🥇🥇
Jingbang Chen retweeted
It's happening! The 2nd Universal Cup Finals will be held in Dongguan from Feb 18 to Feb 24! Check out our announcement here! ucup.ac/news/announcement-20…
Jingbang Chen retweeted
From rising young stars to legendary veterans, the world’s top programming talents embarked on a journey to beautiful Cancun, Mexico for the Universal Cup 2024 Summer Summit sponsored by #Huawei. The teams battled through an intense programming competition for the right to claim the top prize. They also shared adventures exploring ancient ruins and bonded with the local community. See highlights from their unforgettable experience together: tinyurl.com/4wktkd6a #BetterTogether
Jingbang Chen retweeted
What I learn during the STOC24:
Everything should be made as simple as possible, but no simpler. But the average number of pages of STOC papers grow linearly.
Jingbang Chen retweeted
The ACM-SIAM Symposium on Discrete Algorithms (SODA 2025) submission server is now accepting submissions:
soda25.hotcrp.com/
Submission deadline: Friday Jul 5, 2024
Jingbang Chen retweeted
Call for tutorials is already up on the website. See more details at logconference.org/call-for-t…. Important Deadline for Tutorial proposals: Monday, September 23, 2024. Looking forward to your submission!!
