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