📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Feeds to Scour
SubscribedAll
Scoured 80692 posts in 197.9 ms
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
arxiv.org·16h
🔗Dependent Types
Preview
Report Post
If it compiles, it is correct (almost): an introduction to Lean 4 for ZK systems and Engineering
blog.lambdaclass.com·4h
🔗Dependent Types
Preview
Report Post
verifx-prover/verifx: The VeriFx automated verification language
github.com·43m
🔗Dependent Types
Preview
Report Post
**Abstract:** This paper introduces a novel framework for automated categorical data integrity verification leveraging higher-order categorical logic (HOLC) ...
freederia.com·18h
🕸️Knowledge Graphs
Preview
Report Post
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
arxiv.org·16h·
Discuss: Hacker News
💻AI
Preview
Report Post
Programming as Theory Building
gist.github.com·6h
🤔AI philosophy
Preview
Report Post
Software Testing Fundamentals: Black Box, White Box, and the Test Pyramid
dev.to·2h·
Discuss: DEV
⏱️Computational Complexity
Preview
Report Post
🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...
freederia.com·6h
🤔AI philosophy
Preview
Report Post
A brief introduction to Compilers with Kotlin examples
rabbitvictor.com·1d
🔗Dependent Types
Preview
Report Post
The Stability Layer: Governing Quiet Failures at Inference Time
pub.towardsai.net
·2h
🤔AI philosophy
Preview
Report Post
The Semantic Police: Stop or my compiler will prove a theorem
kp9.in·3d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
From Pratt parsing to the Dijkstra shunting yard
matklad.github.io·8h·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
Disentangling unification and implicit coercion (subtyping interaction problem)
jonmsterling.com·1d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
Formal Verification of Safety Constraints in Autonomous Reinforcement Learning Agents
dev.to·1d·
Discuss: DEV
🛡️AI Security
Preview
Report Post
New comment by tonyww in "A verification layer for browser agents: Amazon case study"
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Browser Extensions
Preview
Report Post
The Intent Envelope: Proofs for Completeness, Not Just Soundness
midspiral.com·3d·
Discuss: Lobsters, Hacker News
🔗Dependent Types
Preview
Report Post
The Dark Software Fabric: Engineering the Invisible System That Builds Your Software
julianmwagner.com·13h·
Discuss: Hacker News, r/SideProject, r/programming
💻AI
Preview
Report Post
How To Build An AI Agent For Talent Matching – Part 2
blog.codeminer42.com·7h
💻AI
Preview
Report Post
Learn You a Haskell for Great Good!
learnyouahaskell.github.io·4h
🔗Dependent Types
Preview
Report Post
From documents to actionable knowledge: standards adoption in an AI-first world
fontoxml.com·8h
🕸️Knowledge Graphs
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help