← back to paper

Review history

arxiv: 2603.19464 · 2 revisions

Can LLMs Prove Robotic Path Planning Optimality? A Benchmark for Research-Level Algorithm Verification

1. 2026-08-02 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 6.0
   106315 ms 12212 in 10532 out 2026-08-02T17:48:04.447472+00:00
2. 2026-07-13 CONDITIONAL MODERATE v1.1.0-grok45 novelty 7.0
   25700 ms 18068 in 3035 out 2026-07-13T22:01:45.713358+00:00