Wanli Cheng, PhD Student | Faculty of Computing & Data Sciences
www.bu.edu/cds-faculty/profile/wanli-cheng/
Aug 30, 2026
11
AI Program Plays the Long Game to Solve Decades-Old Math Problems
www.caltech.edu/about/news/ai-program-plays-the-long-game-to-solve-decades-old-math-problems
Aug 30, 2026
1
Ellen Vitercik
vitercik.github.io/
Aug 29, 2026
11
Kunhao Zheng (@KunhaoZ) / X
x.com/KunhaoZ/
Aug 28, 2026
11
Apodex: About | LinkedIn
www.linkedin.com/company/apodex/about/
Aug 28, 2026
11
Lucas Liebenwein (@LLiebenwein) / X
x.com/LLiebenwein
Aug 28, 2026
11
MATH-AI
mathai-2026.github.io/cfp/
Aug 28, 2026
1
笈川伊織（表） (@Iori_Oikawa) / X
x.com/iori_oikawa
Aug 27, 2026
11
Chuyue (Livia) Sun (@chuyue_sun) / X
x.com/chuyue_sun
Aug 27, 2026
11
jyegerlehner - Overview
github.com/jyegerlehner
Aug 26, 2026
11
(1) Jui-Hui Chung (@juihuichung) / X
x.com/juihuichung
Aug 26, 2026
11
Jui-Hui Chung 鍾瑞輝
web.math.princeton.edu/~jc1220/
Aug 26, 2026
2 · Beat a benchmark | humanize
docs.humanfia.ai/humanize2/tutorials/take-home
Aug 25, 2026
1
Inside Rubin + Groq 3 LPU architecture · Issue #9 · zartbot/blog
github.com/zartbot/blog/issues/9
Aug 24, 2026
42
Zartbot (@zartbotF) / X
x.com/zartbotF
Aug 24, 2026
11
Armin Ronacher ⇌ (@mitsuhiko) / X
x.com/mitsuhiko
Aug 24, 2026
11
Introducing talkie: a 13B vintage language model from 1930
talkie-lm.com/introducing-talkie
Aug 21, 2026
31
Charles Arnal
charlesarnal.github.io/
Aug 19, 2026
1
openbmb/FormalVerse · Datasets at Hugging Face
huggingface.co/datasets/openbmb/FormalVerse
Aug 19, 2026
11
Tristan Hume (@trishume) / X
x.com/trishume
Aug 18, 2026
11
Agentic Harness Engineering: Let Harness Evolving Automatically - Dawning Road
dawning-road.github.io/blog/agentic-harness-engineering
Aug 16, 2026
51
Test-Time Training
markkim.bearblog.dev/test-time-training/
Aug 12, 2026
1
Exclusive | Zach Dell Is Raising Money to Put a Battery in Your Backyard
www.wsj.com/business/energy-oil/zach-dell-is-raising-money-to-put-a-battery-in-your-backyard-cd7e52e8?mod=hp_lista_pos3
Aug 4, 2026
3
Announcing SkyPilot Platform and our $20M funding
skypilot.ai/blog/skypilot-the-company?utm_source=x&utm_campaign=oos-founder
Aug 3, 2026
1
The 4-bitter Lesson
humansand.ai/blog/nvfp4-rl
Aug 3, 2026
3
Sihao Liu (@sihao1iu) / X
x.com/sihao1iu
Aug 3, 2026
11
Ligeng Zhu (@LigengZhu) / X
x.com/LigengZhu
Aug 2, 2026
11
CoreWeave launches $2.6B term loan to support acquisition of GPUs
finance.yahoo.com/technology/ai/articles/coreweave-launches-2-6b-term-162818737.html
Aug 2, 2026
1
Scientific computing in the age of agentic AI
openai.com/index/scientific-computing-agentic-ai/
Aug 2, 2026
2
RSIBench-Data: Can an AI agent choose data and experiment like a researcher?
evolvent.co/en/research/RSIBench-Data
Aug 2, 2026
2