Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23911
posts in
1.02
s
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
✅
Formal Methods
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
17h
🔗
Combinatory Logic
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🧬
Functional Programming
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
11h
🔐
Quantum Security
Proving
What's Possible
buttondown.com
·
4h
⚖️
Hoare Logic
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
22h
🔍
RegEx Engines
Large Language Models for
Mortals
book
andrewpwheeler.com
·
12h
💻
Local LLMs
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
7h
⚡
Proof Automation
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
18h
·
Discuss:
Blogger
⚡
CPU Microarchitecture
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
6h
·
Discuss:
Lobsters
🧠
Lisp Dialects
The
Univalence
Principle
golem.ph.utexas.edu
·
20h
🔶
Cubical Type Theory
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
11h
🔐
Certificate Analysis
Architecture
of
SQLite
sqlite.org
·
10h
·
Discuss:
Hacker News
🗄️
SQLite Internals
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
6h
🎯
Proof Tactics
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Mental
Math
: Advanced
Division
denisegaskins.com
·
8h
📐
Interval Arithmetic
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
10h
🏗️
Compiler Archaeology
Wahba
’s Problem and SO(3) Optimization:
Rotation
Learning in Geometric ML
hackernoon.com
·
7h
🌀
Differential Geometry
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
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