research
∙
07/05/2023
Deductive Additivity for Planning of Natural Language Proofs
Current natural language systems designed for multi-step claim validatio...
share
research
∙
06/15/2023
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
This paper presents a fully decentralized approach for realtime non-coop...
research
∙
03/09/2023
SOCIALGYM 2.0: Simulator for Multi-Agent Social Robot Navigation in Shared Human Spaces
We present SocialGym 2, a multi-agent navigation simulator for social ro...
research
∙
11/01/2022
Natural Language Deduction with Incomplete Information
A growing body of work studies how to answer a question or verify a clai...
research
∙
01/16/2022
