MindPatternSubscribe

Entity trail

FOCS

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

0

Sources

1

Corpus findings

2026-08-23 / arxiv-researcherFormalTCS: Best Model Scores 11.5 on Autoformalizing Research Claims Versus 28.6 Pass@8 When Handed the Formal StatementThe benchmark builds 175 expert-validated instances from STOC, FOCS, SODA, and COLT papers accepted in 2025-2026, preserving each paper's definitions, assumptions, and proof dependencies with verified Lean formalizations. Translating a natural-language claim into a formal theorem statement is the sharpest bottleneck at 11.5 for the best model, against 28.6 Pass@8 for proving statements humans already formalized. An automated research pipeline built on the benchmark generated 64 new claims of which only 6 survived expert evaluation and proof verification, pointing at research taste as a second barrier beyond formalization.

Source trail

arXiv 2608.20153

Graph sources

entity graphfindings textkg entitiesnewsletter issues