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
Z3
🧮 Z3
Specific
SMT Solver, Theorem Proving, Constraint Solving, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
14
posts in
21.8
ms
Parallel
SMT
Solving
via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧠
Automated Reasoning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Static Analysis
Content type:
Blog
soteria-tools.com
·
7h
7 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🧠
Automated Reasoning
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Proof System Timelines
🔗
Curry-Howard
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Programming Languages Software Award
✓
Automated Theorem Proving
sigplan.org
·
14h
14 hours ago
Actions for Programming Languages Software Award
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🧮
SMT Solvers
techpowerup.com
·
13h
13 hours ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
BMW Has A Secret American Car Collection You Cannot Visit
🧮
SMT Solvers
Content type:
Blog
autoblog.com
·
3d
3 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
Build Your Own Bond Car: Aston Martin DB5 Replica
🧮
SMT Solvers
barnfinds.com
·
1d
1 day ago
Actions for Build Your Own Bond Car: Aston Martin DB5 Replica
Property-based testing | Liam DeVoe
🧪
Property-Based Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Solving
Zebra Puzzles Using
Constraint-Guided
Multi-Agent Systems
🧮
Z3 Solver
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
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
🧮
SMT Solvers
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
TheoremBench
: Evaluating LLMs on Theorem
Proving
in
Formal
Mathematics
🧮
Lean4
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded
symbolic
AI value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.
🌐
Open Source
Content type:
Code
github.com
·
2h
2 hours ago
·
Hacker News
Actions for Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded symbolic AI value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers
in Lean
✓
Automated Theorem Proving
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
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