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