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