⚡ Proof Automation - matmat · Scour

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ⚔️Lean Tactics

Working with Claude Code: A Field Manual ⚔️Lean Tactics

blog.iannelson.uk·20h·Hacker News

An Empirical Study of Methods for SFTing Opaque Reasoning Models ⚔️Lean Tactics

lesswrong.com·1d

Cursor for LibreOffice, Week 4-6 🌳Incremental Parsing

keithcu.com·2d·Hacker News

Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour ⚔️Lean Tactics

dsyme.net·5d·Hacker News

Spotting Specification Gaps with Small Proof-Oriented Tests ⚔️Lean Tactics

risemsr.github.io·4d·Hacker News

Finding duplicated code with tools from your CS course λLambda Encodings

purplesyringa.moe·3d·Hacker News

Roast my free "Anti-AI-Slop" writing tools (generator, proofreader, rewriter, replies ...) 🌀Brotli Internals

relaunch.textbuddy.com·4d·r/SideProject

Token Maxer, Eventually ⚔️Lean Tactics

brunokiafuka.substack.com·6d·Substack

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ⚔️Lean Tactics

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline 👑Coq Tactics

On Reasoning-Centric LLM-based Automated Theorem Proving 🧮Theorem Proving

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation 🏗️Compiler Archaeology

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs 🎯Performance Proofs

Learning to Reason with Insight for Informal Theorem Proving 🧮Theorem Proving

A taxonomy for controlling (in)consistency 🤝Paxos Consensus

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints 👑Isabelle

LinuxArena: A Control Setting for AI Agents in Live Production Software Environments 🧮Z3 Solver

Advancing BDD Software Testing: Dynamic Scenario Re-Usability and Step Auto-Comp 🧪Property-Based Testing

arxiv.org·4d·Hacker News

Automatic constraint satisfaction problem 🧮Constraint SMT

Log in to enable infinite scrolling