assume-guarantee contract
- Papers
- 4
- Released code
- 0
- First seen
- Sept 2026
- Latest
- Sept 2026
4 papers in the last two months, against 0 in the two before.
The papers
Most central to this idea first, not most recent.
- Top Universitycs.AI
Successful agent migrations require calibration beyond interface compatibility alone
PwC China AI Center, Tsinghua University · Sept 2026
- Independentcs.SE
Engineering agents need evidence-bound authorization before their outputs trigger action
Sept 2026
- Industrycs.CR
Security contracts preserve authorization across composable LLM agent systems
ZAST.AI · Sept 2026
- Academiccs.AI
Digital twins make agent decisions replayable, but hidden tool states remain
Qingdao University, Shandong University · Sept 2026
Concepts are extracted from each paper and reused across the corpus, so this page grows on its own as the desk reads.