Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Verification
✅ Formal Verification
model checking, theorem proving, TLA+, formal methods
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
45
posts in
10.1
ms
λ
Type Theory
fark.com
·
1d
1 day ago
Today's reminder that people are out there still using Tesla's autopilot feature, which is neither auto nor pilot but is definitely all Tesla [Sad]
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Today's reminder that people are out there still using Tesla's autopilot feature, which is neither auto nor pilot but is definitely all Tesla [Sad]
🚨
AI Criticism
medium.com
·
6d
6 days ago
Rigor Compresses: Why AI Agents Need Graphs, Not More Context
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Rigor Compresses: Why AI Agents Need Graphs, Not More Context
λ
Functional Programming
arXiv
·
1d
1 day ago
Probabilistic
Model
Checking
via Families of Deterministic and Unambiguous Finite Automata
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
🚨
AI Criticism
Data Science Weekly Newsletter
·
5d
5 days ago
Issue 656
Covers
3 stories
See all stories this covers
including
Running local models is good now
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Issue 656
🚨
AI Criticism
Between Thoughts 🔱
·
6d
6 days ago
The Toothache and the Witness
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Toothache and the Witness
🏗️
Compiler Design
arXiv
·
2d
2 days ago
[2606.19936] Prismriver:
Formalization
of Music
Theory
and Algorithmic Composition in Lean 4
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for [2606.19936] Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
🏗️
Compiler Design
arXiv
·
1d
1 day ago
Partial Automation of
Verification
Condition
Proving
for Reflex Programs (Draft)
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Partial Automation of Verification Condition Proving for Reflex Programs (Draft)
🕸️
Distributed Systems
arXiv
·
12h
12 hours ago
Stability
Checking
of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)
λ
Type Theory
arXiv
·
1d
1 day ago
AI-Assisted
Completion of CertiGC
Proofs
: An Experience Report
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI-Assisted Completion of CertiGC Proofs: An Experience Report
🧠
Philosophy
arXiv
·
12h
12 hours ago
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
λ
Type Theory
arXiv
·
5d
5 days ago
Process-Verified
Reinforcement Learning for
Theorem
Proving
via Lean
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Process-Verified Reinforcement Learning for Theorem Proving via Lean
🕸️
Distributed Systems
arXiv
·
12h
12 hours ago
Engineering Reliable Autonomous Systems: Challenges and Solutions
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Engineering Reliable Autonomous Systems: Challenges and Solutions
λ
Type Theory
arXiv
·
6d
6 days ago
Diffusion-Proof
: Recipe for
Formal
Theorem
Proving Beyond Auto-Regressive Generation
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation
🏗️
Compiler Design
arXiv
·
1d
1 day ago
Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
🚨
AI Criticism
arXiv
·
1d
1 day ago
Decodable but Not Faithful: Coupling Natural-Language Rationales to Programmatic Verifiers
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Decodable but Not Faithful: Coupling Natural-Language Rationales to Programmatic Verifiers
🏗️
Compiler Design
arXiv
·
6d
6 days ago
Graph-ESBMC-PLC:
Formal
Verification
of Graphical PLCopen XML Ladder Diagram Programs Using
SMT-Based
Model Checking
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
🚨
AI Criticism
arXiv
·
1d
1 day ago
Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
λ
Type Theory
arXiv
·
6d
6 days ago
Monadic dependence from reducts, and applications to twin-width of oriented graphs
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Monadic dependence from reducts, and applications to twin-width of oriented graphs
🔐
Cryptography
arXiv
·
5d
5 days ago
Analyzing the Narration Gap in
LLM-Solver
Loops
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Analyzing the Narration Gap in LLM-Solver Loops
λ
Functional Programming
arXiv
·
5d
5 days ago
VERITAS:
Verifier-Guided
Proof
Search for Zero-Shot
Formal
Theorem Proving
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report