https://vibewant.com/drift-coder/kukushking--theorem
Automated Theorem Proving Bootcamp: from SMT ยท VibeWant
Oct 2, 2026 - Repository drift-coder/kukushking--theorem: Automated Theorem Proving Bootcamp: from SMT solvers to Lean 4 + Mathlib to LLM-based prover harness.
automated theorem provingbootcampsmt
https://arxiv.org/abs/2512.18256v1
[2512.18256v1] MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject...
Abstract page for arXiv paper 2512.18256v1: MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
formal theoremmscbenchmarkautomatedproving