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
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79650
posts in
1.29
s
Semantic Search over 9 Million
Mathematical
Theorems
arxiv.org
·
3d
🧮
Algorithms
RocqSmith
: Can Automatic Optimization
Forge
Better Proof Agents?
arxiv.org
·
3d
🧮
Hindley-Milner
## Scalable Rule-Based Verification of Autonomous Weapon System Compliance with International
Humanitarian
Law Using
Compositional
Logic and Reinforcement Learning
freederia.com
·
2d
🌲
Binary Search Trees
**Abstract:** This paper introduces a novel framework, the Hybrid Symbolic-Neural Verification Engine (
HSNVE
), to
bolster
the legal reliability of AI-driven ...
freederia.com
·
3d
🌲
Binary Search Trees
A digital game improves the
mathematical
performance of children with
dyscalculia
phys.org
·
4d
🧮
Algorithms
Bringing
the Land Administration Domain Model to the
classroom
gim-international.com
·
4d
📄
Document Versioning
Epic
Battle: ChatGPT vs
Akinator
en.akinator.com
·
4d
·
Discuss:
DEV
🧮
Algorithms
Categorical
systems
theory
danmackinlay.name
·
4d
🧮
Algorithms
Java em Containers:
Estratégias
Modernas
para Build
github.com
·
3d
·
Discuss:
DEV
🏗
Datastructures
Multi-layer defense for LLM agents inspired by
immune
systems (seeking
critique
)
gist.github.com
·
4d
·
Discuss:
Hacker News
🏗
Datastructures
Upa
: Unsupervised Prompt Agent Shows
Pairwise
Comparisons Drive Structured Search and Selection
quantumzeitgeist.com
·
4d
🧮
Algorithms
The ‘
brownie
recipe problem’: why LLMs must have
fine-grained
context to deliver real-time results
venturebeat.com
·
4d
🧮
Algorithms
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
🧮
Hindley-Milner
The
Agentic
Trust Framework: Zero Trust
Governance
for AI Agents
cloudsecurityalliance.org
·
4d
·
Discuss:
Hacker News
📄
Document Versioning
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
🌲
Binary Search Trees
Using
PLANS.md
for multi-hour problem
solving
developers.openai.com
·
4d
📄
Document Versioning
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
💻
Programming Languages
suzgunmirac/belief-in-the-machine
: Belief in the Machine: Investigating
Epistemological
Blind Spots of Language Models
github.com
·
4d
🗣️
Natural Language Parsing
QT4
grammar
explorer
so.nwalsh.com
·
4d
🗣️
Natural Language Parsing
Beyond Lowest Bid: A
Deterministic
,
Explainable
Multi-Agent Hiring System
pub.towardsai.net
·
4d
🧮
Algorithms
Loading...
Loading more...
« Page 12
•
Page 14 »
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