3 papers
cs.AI2026
Code Monitor Red Teaming for Public-Test-Passing Code
Junchi Liao, Jiawen Deng, Fuji Ren
Visible tests are a common gate for LLM-generated code, but passing them does not certify specification correctness. We study a deployment-like monitoring problem: after code has p…
cs.SE2026
Composer 2 Technical Report
Cursor Research, :, Aaron Chan +53
Composer 2 is a specialized model designed for agentic software engineering. The model demonstrates strong long-term planning and coding intelligence while maintaining the ability…
math.DG2025
Envelopes of lines, unfoldings and breaking symmetry
Peter Giblin, Alexander Wettig
We generalise the well-known ``embroidery'' envelopes of chords joining points at angles and of a single circle in several ways. Firstly we allow to be rational (possi…