LLM-as-a-Verifier Opens a Reusable Verification Artifact entered the September 9 record as a narrow, dated update. The source publishes the dated item represented by this cluster: LLM-as-a-Verifier research artifact.
The record stays intentionally small: it preserves the source, the observed change, and the new novelty decision without turning a release, repository, program, or creator update into a broader thesis.