Co-occurring keywords · papers mentioning both
Papers
E-3DPSM: A State Machine for Event-based Egocentric 3D Human Pose Estimation
CVPR 2026
PUPPET: Neural-Symbolic Standardized Patients for Mental Health
ACL 2026
From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning
IJCAI 2025
OSCAR: Operating System Control via State-Aware Reasoning and Re-Planning
ICLR 2025
Reactive In-Air Clothing Manipulation with Confidence-Aware Dense Correspondence and Visuotactile Affordance
CoRL 2025
The Art of Tool Interface Design
ACL 2025
AutoOS: Make Your OS More Powerful by Exploiting Large Language Models
ICML 2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
OSDI 2024
Towards Neuro-Symbolic Video Understanding
ECCV 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
HUMAN: Hierarchical Universal Modular ANnotator
EMNLP 2020
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam
OSDI 2020
Synthesizing Programmatic Policies that Inductively Generalize
ICLR 2020
Interactive Robot Transition Repair With SMT
IJCAI 2018