🔬 Lean - matmat · Scour

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

⚔️Lean Theorem Code

github.com··Hacker News

Proof System Timelines

📐Proof Assistants Blog

Formal Foundations and Proof-Carrying Certificates for q-ary Covering Codes in Lean 4

⚔️Lean Theorem Academic

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

🧮Theorem Proving Blog

quomodocumque.wordpress.com·

Man-Computer Symbiosis J. C. R. Licklider (1960)

🧮Theorem Proving Academic

groups.csail.mit.edu··Hacker News

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

⚡Proof Automation Academic

JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.

⚔️Lean Theorem Code

github.com··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

🔲Proof Irrelevance Academic

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

📋Formal Verification Academic

Evaluation of LLMs for Mathematical Formalization in Lean

⚔️Lean Theorem Academic

Formal verification of the S-two AIR

💻Programming languages Academic

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

📋Formal Verification Academic

Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair

⚙️Proof Engineering Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling