You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
description={MVTrans is an end-to-end multi-view architecture with multiple perception capabilities, including depth estimation, segmentation, and pose estimation. We also present a procedural photo-realistic large-scale transparent object detection dataset, Syn-TODD.}
title={TopoCut: Learning Multi-Step Cutting with Spectral Rewards and Discrete Diffusion Policies},
1555
1555
author={Liquan Wang and Jiangjie Bian and Eric Heiden and Animesh Garg},
1556
1556
booktitle={Conference on Robot Learning (CoRL)},
@@ -1810,7 +1810,7 @@ @article{yoshikawa2023large
1810
1810
tags={Robotics},
1811
1811
}
1812
1812
1813
-
@article{singh2023progprompt,
1813
+
@article{auro-progprompt,
1814
1814
title={ProgPrompt: program generation for situated robot task planning using large language models},
1815
1815
author={Singh, Ishika and Blukis, Valts and Mousavian, Arsalan and Goyal, Ankit and Xu, Danfei and Tremblay, Jonathan and Fox, Dieter and Thomason, Jesse and Garg, Animesh},
description={We propose a framework for robots to assist chemists by performing lab experiments autonomously. The solution allows a general-purpose robot to perform diverse chemistry experiments and efficiently make use of available lab tools. }
2054
2053
keywords={laboratory automation, task and motion planning, chemistry robotics},
2055
2054
tags={Manpiulation},
2055
+
description={We propose a framework for robots to assist chemists by performing lab experiments autonomously. The solution allows a general-purpose robot to perform diverse chemistry experiments and efficiently make use of available lab tools. }
description={CLAIRify is a novel approach that combines automatic iterative prompting in LLMs with program verification to ensure programs written in domain-specific languages are syntactically valid and incorporate environment constraints.}
2068
2067
keywords={LLMs, program synthesis, program verification, laboratory automation},
2068
+
description={CLAIRify is a novel approach that combines automatic iterative prompting in LLMs with program verification to ensure programs written in domain-specific languages are syntactically valid and incorporate environment constraints.}
0 commit comments