Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Provers
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185124
posts in
70.7
ms
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
23h
🧩
Constraint Solvers
MTZK
: Testing and Exploring Bugs in Zero-Knowledge (
ZK
) Compilers
papers.cool
·
1d
🧪
Compiler Testing
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
📈
Monotonic Logic
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧸
Toy Compilers
Recursive
SNARKs
Explained: How
Proofs
Verify Other
Proofs
dev.to
·
1d
·
Discuss:
DEV
⚖️
Inference Rules
PropertyGPT
: LLM-driven
Formal
Verification of Smart Contracts through Retrieval-Augmented Property Generation
papers.cool
·
1d
🎲
Property Testing
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
23h
🔍
Type Inference
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
9h
·
Discuss:
Hacker News
🧮
Combinator Calculus
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
🧩
Constraint Logic
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
1h
🚂
Error Propagation
MAGIC-AI4Med/DeepRare
: Code implementation of
DeepRare
(Nature 2026)
github.com
·
14h
✨
Effect Inference
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Evaluating the
Logical
Reasoning
Ability
of ChatGPT and GPT-4
dev.to
·
1d
·
Discuss:
DEV
🎯
Finite Automata
Qwen 3.5 9B, 4B models beating
30B
,
80B
models
huggingface.co
·
9h
·
Discuss:
Hacker News
🏁
Language Benchmarks
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
9h
🔄
Coroutines
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
9h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
4h
·
Discuss:
Hacker News
🧩
Constraint Solvers
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
15h
⚡
Partial Evaluation
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