arxiv:2609.03450
Kazuki Nakayashiki
kazuk
AI & ML interests
AI and Social Annotation
Recent Activity
authored a paper 19 days ago
Plan Pointers and Record-Directive Form in Budgeted Verification of Inherited Agent Memory authored a paper 19 days ago
When Stale Constraints Go Unchecked: Budgeted Verification Failures in Inherited Agent Memory