Formal Verification

#Formal Verification

56 articles tagged
When you keep AI Lean, you keep AI correct
AI

When you keep AI Lean, you keep AI correct

Aug 28, 2026
Dev

Palomar opens registry for Lean-verified mathematics

Aug 19, 2026
MathCode turns plain-language math problems into machine-checked Lean proofs
AI

MathCode turns plain-language math problems into machine-checked Lean proofs

Aug 17, 2026
The case against formal verification, 50 years later
DevOps

The case against formal verification, 50 years later

Aug 17, 2026
LLMs are forcing mathematicians to rethink the open-problem pipeline
LLMs

LLMs are forcing mathematicians to rethink the open-problem pipeline

Aug 16, 2026
Claude finds a stronger bound for zeros tied to the Riemann hypothesis
AI

Claude finds a stronger bound for zeros tied to the Riemann hypothesis

Aug 10, 2026
TheoremDB · A public workspace for machine mathematics
AI

TheoremDB · A public workspace for machine mathematics

Aug 9, 2026
Dev

F*: A proof-oriented programming language

Aug 2, 2026
Cybersecurity

Lean fixes kernel soundness bug after AI-assisted Collatz disproof

Aug 1, 2026
OpenAI says Astra produced 10 results for long-standing math problems
AI

OpenAI says Astra produced 10 results for long-standing math problems

Aug 1, 2026
SpecForge Brings Temporal Logic to Hybrid Systems with VSCode Integration
Dev

SpecForge Brings Temporal Logic to Hybrid Systems with VSCode Integration

Jul 29, 2026
LLMs

LLMs crack proof automation in dependently typed languages

Jul 27, 2026
Lean's DEFLATE Compression Outperforms Rust's miniz_oxide in Benchmarks
Infrastructure

Lean's DEFLATE Compression Outperforms Rust's miniz_oxide in Benchmarks

Jul 26, 2026

Popular Tags

#AI (4154)#Security (1524)#Open Source (1420)#Apple (1074)#privacy (1058)#Hardware (945)#Microsoft (898)#Remote Code Execution (793)#API (790)#Infrastructure (778)#Cybersecurity (754)#Windows (754)#regulation (750)#Linux (703)#Cloud (650)#Reddit (640)#Gaming (634)#Performance (587)#Trends (581)#Supply Chain (570)#Developer Tools (564)#Samsung (546)#Android (535)#OpenAI (508)#Business (499)#Vulnerabilities (488)#Rust (473)#Nvidia (459)#Azure (443)#AI_Agents (443)#Machine Learning (442)#LLMs (441)#Automation (440)#Anthropic (405)#Battery (400)#DevOps (399)#AI_Infrastructure (399)#AMD (388)#Authentication (380)#China (379)#Productivity (342)#Intel (333)#LLM (332)#GPU (332)#Patch Management (330)#CVE (327)#iOS (322)#Linux kernel (309)#Camera (309)#Malware (308)