🧩 SAT Solvers

DPLL Algorithm, Conflict Analysis, Boolean Satisfiability, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 77917 posts in 597.7 ms
Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
arxiv.org·1d
🔍ML Language
Preview
Report Post
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·6h
🧩Constraint Solvers
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🔍ML Language
Preview
Report Post
**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...
freederia.com·2d
🧮Theorem Provers
Preview
Report Post
Four LLM Stress Tests
dev.to·14h·
Discuss: DEV
🧪Compiler Testing
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·2h
🤖Abstract Machines
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·21h·
Discuss: Blogger
📐Mathematical Computing
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·1d·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
Divide and Conquer: A Complete Guide with Practical Examples
dev.to·4h·
Discuss: DEV
🔗Unification
Preview
Report Post
Binary Algorithms
exystence.net·1d
📡Binary Protocols
Preview
Report Post
Issue 508
haskellweekly.news·36s
⚡functional programming
Preview
Report Post
No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2
pub.towardsai.net
·2d
🌱Minimal ML
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·18h
🔗Category Theory
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·17h·
Discuss: Hacker News
📋Souffle Datalog
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.com·6h
🎲Parser Fuzzing
Preview
Report Post
Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
link.aps.org·1d
⚡Control Synthesis
Preview
Report Post
Solved yet stuck
kevinsdias.com·12h
🧩Prolog
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·17h·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Problem Solving
denvaar.dev·1d
🔗Hash Functions
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help