DEV Community

#lean4

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Reading Lean Side by Side: Introducing Taiyak
gotoken profile

Reading Lean Side by Side: Introducing Taiyak

#lean4 #ruby #ai #formalization
Comments
9 min read
Why Your AI Evaluator Is Structurally Blind (and how to mathematically prove it)
liaozhizhi profile

Why Your AI Evaluator Is Structurally Blind (and how to mathematically prove it)

#ai #opensource #machinelearning #lean4
Comments
3 min read
Proving What AI Generates: Running Formally Verified Lean 4 Inside Clojure Services
ganesh_rajendran_art profile

Proving What AI Generates: Running Formally Verified Lean 4 Inside Clojure Services

#clojure #java #ai #lean4
Comments
7 min read
Trust, but Verify: How We Audited OpenAI's Lean 4 Math Proofs with a Zero-Dependency Sidecar
liaozhizhi profile

Trust, but Verify: How We Audited OpenAI's Lean 4 Math Proofs with a Zero-Dependency Sidecar

#ai #opensource #math #lean4
Comments
3 min read
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
millenniumproblemsai profile

Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover

#ai #math #lean4 #datascience
Comments
3 min read
Lean Is Becoming AI's Trust Layer
max_quimby profile

Lean Is Becoming AI's Trust Layer

#aiagents #formalverification #lean4 #codequality
1
Comments
9 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.