Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Dependent Rust
⚡ Dependent Rust
Specific
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
36
posts in
15.8
ms
⏰
Temporal Logic
arxiv.org
·
5d
5 days ago
Verifying LTL for Infinite
State
Systems via Termination
Analysis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
Less-relevant results
💻
Programming languages
spawn-queue.acm.org
·
2d
2 days ago
You Don’t Know Jack About
Formal
Verification
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for You Don’t Know Jack About Formal Verification
💻
Programming languages
Adam Keys is typing
·
4d
4 days ago
The local maxima we need to reach the next global maximum
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The local maxima we need to reach the next global maximum
💻
Programming languages
bloomberg.com
·
6d
6 days ago
Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
💻
Programming languages
TechCrunch
·
5d
5 days ago
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
Covered by
SiliconANGLE
,
AI资讯速览
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
🔠
Type-Level Programming
Serokell Blog
·
6d
6 days ago
How Serokell Contributes to the Future of Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
💻
Programming languages
tldrsec.com
·
4d
4 days ago
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
Covers
8 stories
See all stories this covers
including
Midjourney Ultrasonic CT Scanner
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
🛡️
Proof-Carrying Archives
SiliconANGLE
·
4d
4 days ago
Pramaana Labs raises $27M to make AI prove its answers
Covers
Lean: Programming Language and Theorem Prover
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M to make AI prove its answers
⚡
SMT Applications
arxiv.org
·
6d
6 days ago
ESBMC-PLC:
Formal
Verification
of IEC 61131-3 Ladder Diagram
Programs
Using SMT-Based Model Checking
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
💻
Programming languages
arxiv.org
·
3d
3 days ago
AutoTam: Specifying Secure Protocol Implementations with Tamarin
Model
Generation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
🌐
Protocol Synthesis
arxiv.org
·
6d
6 days ago
The Complexity of Bisimilarity and
Model
Checking
in Finitary Diagrams
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
UMB: A Unified Markov Binary
Format
for Probabilistic
Model
Checking
(extended version)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
🌐
Protocol Synthesis
arxiv.org
·
4d
4 days ago
Monadic
dependence
from reducts, and applications to twin-width of oriented graphs
Love
Like
Not for me
Save
Add to your feed
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
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
✅
Formal Methods
arxiv.org
·
5d
5 days ago
IsabeLLM: Automated Theorem Proving Applied to
Formally
Verifying
Consensus
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
💻
Programming languages
arxiv.org
·
5d
5 days ago
Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq
Proofs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
💻
CS
arxiv.org
·
3d
3 days ago
Computing Twin-Width via Treedepth and Vertex Integrity
Love
Like
Not for me
Save
Add to your feed
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
💻
Programming languages
arxiv.org
·
4d
4 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
Add to your feed
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
💻
Programming languages
arxiv.org
·
3d
3 days ago
A-COMPASS:
Formal
Foundations for Anonymity
Analysis
in Microdata
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A-COMPASS: Formal Foundations for Anonymity Analysis in Microdata
💻
Programming languages
arxiv.org
·
3d
3 days ago
Formal
Verification
of Learned Multi-Agent Communication Policies via Decision Tree Distillation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation
Page 2 »
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