most citedProgrammatic Imitation Learning from Unlabeled and Noisy Demonstrations

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving

Yutong Xin, Jimmy Xin, Gabriel Poesia +3

Enabling more concise and modular proofs is essential for advancing formal reasoning using interactive theorem provers (ITPs). Since many ITPs, such as Rocq and Lean, use tactic-st…

cs.RO2023★ 2 cited

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations

Jimmy Xin, Linus Zheng, Kia Rahmani +4

Imitation Learning (IL) is a promising paradigm for teaching robots to perform novel tasks using demonstrations. Most existing approaches for IL utilize neural networks (NN), howev…