activity
20242026
most citedTowards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

1 citations · 1 across the 12 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2024

Can LLMs plan paths with extra hints from solvers?

Erik Wu, Sayan Mitra

Large Language Models (LLMs) have shown remarkable capabilities in natural language processing, mathematical problem solving, and tasks related to program synthesis. However, their…