Login / Signup
Jimmy Xin
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Proof Planning
Term Rewriting
Timed Automata
Computer Algebra Systems
Top Venues
CoRR
IEEE Robotics Autom. Lett.
</>
Publications
</>
Jimmy Xin
,
Linus Zheng
,
Kia Rahmani
,
Jiayi Wei
,
Jarrett Holtz
,
Isil Dillig
,
Joydeep Biswas
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations.
IEEE Robotics Autom. Lett.
9 (6) (2024)
George Tsoukalas
,
Jasper Lee
,
John Jennings
,
Jimmy Xin
,
Michelle Ding
,
Michael Jennings
,
Amitayush Thakur
,
Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
CoRR
(2024)
Jimmy Xin
,
Linus Zheng
,
Jiayi Wei
,
Kia Rahmani
,
Jarrett Holtz
,
Isil Dillig
,
Joydeep Biswas
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations.
CoRR
(2023)