https://cognaptus.com/tags/automated-proving/ Recent content in Automated-Proving on Cognaptus Hugo -- 0.145.0 en-us Wed, 07 Oct 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-10-07-more-proof-machinery-more-compute-what-tcsalgbench-says-about-research-agents/ Wed, 07 Oct 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-10-07-more-proof-machinery-more-compute-what-tcsalgbench-says-about-research-agents/ TCSAlgBench shows that structured proof-agent workflows can expand research-level theorem coverage, but the gains come with uneven success patterns and sharply different inference costs.