Agents

SCOPE: Certified Theorem Proving with a Language Model as the Policy Planner

Single source1 source7 Oct 2026

arXiv:2610.08319v1 Announce Type: new Abstract: In proof assistants such as Lean, a generated proof must pass machine compilation checks, so evaluation needs no human scoring.

Reported by 1 source

arxiv.orghttps://arxiv.org/abs/2610.08319

← Back to all developments · Signals are a development reported by more than one source. See the methodology.