📋 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 19465 posts in 236.5 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·18h
🤝Consensus Protocols
Implementing Automated Rules-Based Evaluations for LLM Applications
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Railway Oriented Programming
fsharpforfunandprofit.com·19h·
Discuss: Hacker News
🐚Shell Monads
Abstract Framework for All-Path Reachability Analysis
arxiv.org·2d
⏰Temporal Logic
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Build a Compiler in Five Projects
kmicinski.com·14m
🔨Compilers
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
📋Document Grammar
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·19h
✅Format Verification
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·8h
🏗️Compiler Archaeology
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·1d
⚡Proof Automation
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·19h
📊Performance Profiling
Synthesizing scientific literature with retrieval-augmented language models
nature.com·23h
🔍Information Retrieval
LLMs could be, but shouldn't be compilers
alperenkeles.com·20h·
Discuss: Hacker News
💧Liquid Types
The control layer for AI
blog.dottxt.ai·10h·
Discuss: Hacker News
🔒WASM Capabilities
First Proof | Research-Level Math for AI Evaluation
1stproof.org·23h·
Discuss: Hacker News
🎯Performance Proofs

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