Picture for Dyuman Aditya

Dyuman Aditya

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing

Add code
Jul 08, 2024
Viaarxiv icon

Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning

Add code
Oct 15, 2023
Viaarxiv icon

PyReason: Software for Open World Temporal Logic

Add code
Mar 04, 2023
Viaarxiv icon