Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Automated Reasoning
🤖 Automated Reasoning
Theorem Proving, SAT Solvers, Lean
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
35
posts in
8.4
ms
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
⚡
Speculative Decoding
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC -
prove
your Java or Kotlin code correct for every input, as easily as writing a JUnit test
λ
Functional Programming
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
BMW Has A Secret American Car Collection You Cannot Visit
🔐
Hardware Security
Content type:
Blog
autoblog.com
·
3d
3 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
TheoremBench
: Evaluating LLMs on Theorem
Proving
in
Formal
Mathematics
➗
math
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Man-Computer Symbiosis J. C. R. Licklider (1960)
➗
math
Content type:
Academic
groups.csail.mit.edu
·
5d
5 days ago
·
Hacker News
Actions for Man-Computer Symbiosis J. C. R. Licklider (1960)
Less-relevant results
The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade
🎮
Handheld Gaming
techradar.com
·
5d
5 days ago
Actions for The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade
Goedel-Architect: Streamlining
Formal
Theorem
Proving
with Blueprint Generation and Refinement
➗
math
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers
in
Lean
➗
math
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
SAT-Physical
Thermodynamic Framework: treating constraints as a thermal system
⚛️
Physics
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
Exploring the landscape of compact magic-state distillation factories
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Exploring the landscape of compact magic-state distillation factories
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
∀
Mathematical Logic
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Formal
verification
of the S-two AIR
🔐
Cryptography
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470
🔐
Cryptography
Content type:
Code
github.com
·
1w
1 week ago
·
Hacker News
Actions for Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
➗
math
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem
♾️
Set Theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem
« Page 1
Log in to enable infinite scrolling
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
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
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