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 Methods
📋 Formal Methods
formal verification, proof assistants, TLA+, model checking
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
41
posts in
17.9
ms
🤖
AI Research
Simons Foundation
·
2d
2 days ago
Letter From the President
Covers
Lean: Programming Language and Theorem Prover
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 Letter From the President
🤖
AI Research
arXiv
·
23h
23 hours ago
Confidence Sequences for Online Statistical
Model
Checking
of Markov Decision Processes
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 Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Less-relevant results
🍎
Apple
fark.com
·
3d
3 days 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]
🧠
LLMs
arXiv
·
2d
2 days 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
📐
Language Design
arXiv
·
2d
2 days ago
A
Formal
Tool for
Verification
of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
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 A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
📐
Language Design
arXiv
·
1d
1 day ago
Cryptographic certificates of validity for trustworthy AI
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 Cryptographic certificates of validity for trustworthy AI
✍️
Prompt Engineering
arXiv
·
23h
23 hours ago
The Unfireable Safety Kernel: Execution-Time AI Alignment for AI Agents and Other Escapable AI Systems
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 Unfireable Safety Kernel: Execution-Time AI Alignment for AI Agents and Other Escapable AI Systems
📐
Language Design
arXiv
·
1d
1 day ago
Bit-Precise Conformance Testing of Simulink
Model
Checkers
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 Bit-Precise Conformance Testing of Simulink Model Checkers
📐
Language Design
arXiv
·
2d
2 days 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)
📐
Language Design
arXiv
·
4d
4 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
🕵️
AI Agents
arXiv
·
2d
2 days 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
🕵️
AI Agents
arXiv
·
6d
6 days ago
A Categorial and
Sheaf-Theoretic
Semantics for Autonomic Component Ensembles
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 A Categorial and Sheaf-Theoretic Semantics for Autonomic Component Ensembles
🤖
LLM
arXiv
·
6d
6 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
🌐
Distributed Systems
arXiv
·
1d
1 day 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)
🤖
LLM
arXiv
·
6d
6 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
🤖
Agentic AI
arXiv
·
2d
2 days 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
📊
Data Structures
arXiv
·
6d
6 days ago
Computing Twin-Width via Treedepth and Vertex Integrity
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 Computing Twin-Width via Treedepth and Vertex Integrity
🍎
Apple
arXiv
·
1d
1 day 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
🤖
LLM
arXiv
·
2d
2 days 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
🤖
LLM
arXiv
·
6d
6 days ago
Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement
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 Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement
« 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