about
Stories from May 24, 2026 (UTC)
Go back a day, month, or year. Go forward a day.
1. Constraint Decay: The Fragility of LLM Agents in Back End Code Generation (arxiv.org)
287 points by wek 133 days ago | hide | past | pdf | 197 comments
2. A Language for Describing Agentic LLM Contexts (arxiv.org)
4 points by mpweiher 132 days ago | hide | past | pdf | discuss
3. SSV: Sparse Speculative Verification for Efficient LLM Inference (arxiv.org)
4 points by matt_d 133 days ago | hide | past | pdf | discuss
4. Advancing Mathematics Research with AI-Driven Formal Proof Search (arxiv.org)
3 points by tamnd 132 days ago | hide | past | pdf | discuss
5. Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection (arxiv.org)
2 points by matt_d 133 days ago | hide | past | pdf | discuss