← back to paper

Review history

arxiv: 2508.18587 · 2 revisions

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

1. 2026-08-15 CONDITIONAL HIGH v1.4.0-alltime-deepseek-medium novelty 6.0
   124807 ms 24481 in 14023 out 2026-08-15T16:55:28.861427+00:00
2. 2026-08-05 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   127783 ms 24455 in 12825 out 2026-08-05T16:22:36.638008+00:00