← Search

Siddhant Sharma

2 accepted papers

2024

Unsupervised Learning of Neuro-symbolic Rules for Generalizable Context-aware Planning in Object Arrangement Tasks

ICRA 2024poster

As robots tackle complex object arrangement tasks, it becomes imperative for them to be able to generalize to complex worlds and scale with number of objects. This work postulates that extracting action primitives, such as push operations, their pre-conditions and effects would enable strong general…

Cited by 3SourcecodeScholar
2023

Neural Policy Safety Verification via Predicate Abstraction: CEGAR

AAAI 2023technical

Neural networks (NN) are an increasingly important representation of action policies pi. Recent work has extended predicate abstraction to prove safety of such pi, through policy predicate abstraction (PPA) which over-approximates the state space subgraph induced by pi. The advantage of PPA is that…

Cited by 9SourcePDFScholar