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
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
181625
posts in
80.7
ms
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for
Condorcet
Dimensions
of Elections
🧮
Kolmogorov Bounds
arxiv.org
·
2d
Resolution
Challenge
🔄
Graph Rewriting
rico.ibs.fr
·
4d
·
Hacker News
Why Your AI Agent Costs 7x What It Should
🌳
Incremental Parsing
cal.com
·
4d
·
DEV
Handbook
of
Rough
Set Extensions and Uncertainty Models
🧠
Learned Indexes
arxiv.org
·
2d
DWTSumm
: Discrete
Wavelet
Transform for Document Summarization
📊
Document Wavelets
arxiv.org
·
1d
The First Challenge on Remote Sensing
Infrared
Image Super-Resolution at
NTIRE
2026: Benchmark Results and Method Overview
📐
Projective Geometry
arxiv.org
·
1d
TypeScript
Repository
Indexing
for Code Agent Retrieval
🔗
Topological Sorting
arxiv.org
·
4d
Foveated
Reasoning:
Stateful
, Action-based Visual Focusing for Vision-Language Models
📊
Learned Metrics
arxiv.org
·
1d
MEMRES
: A Memory-Augmented Resolver with Confidence
Cascade
for Agentic Python Dependency Resolution
🔗
Dependency Resolution
arxiv.org
·
4d
Semantic
Consensus
: Process-Aware Conflict Detection and Resolution for Enterprise Multi-Agent LLM Systems
🤝
Consensus Networks
arxiv.org
·
4d
Neuro-Symbolic
Resolution of Recommendation Conflicts in
Multimorbidity
Clinical Guidelines
🧮
Constraint SMT
arxiv.org
·
4d
Architecture Matters More Than Scale: A Comparative Study of Retrieval and Memory Augmentation for Financial
QA
Under
SME
Compute Constraints
🦀
Rusty Databases
arxiv.org
·
4d
Human-Machine
Co-Boosted
Bug Report Identification with
Mutualistic
Neural Active Learning
🧠
Intelligence Compression
arxiv.org
·
3d
HMR-Net
: Hierarchical Modular Routing for Cross-Domain Object Detection in
Aerial
Images
📊
Learned Metrics
arxiv.org
·
3d
Multi-Scale
Reversible
Chaos Game Representation: A Unified Framework for
Sequence
Classification
🔲
Cellular Automata
arxiv.org
·
4d
Beyond Verifiable Rewards:
Rubric-Based
GRM
for Reinforced Fine-Tuning SWE Agents
🔒
WASM Capabilities
arxiv.org
·
4d
Improved Guarantees for Offline Stochastic Matching via New Ordered
Contention
Resolution
Schemes
🎯
Performance Proofs
arxiv.org
·
4d
From Inheritance to
Saturation
:
Disentangling
the Evolution of Visual Redundancy for Architecture-Aware MLLM Inference Acceleration
💻
Local LLMs
arxiv.org
·
4d
CAHAL
: Clinically
Applicable
resolution enHAncement for Low-resolution MRI scans
👁️
OCR Enhancement
arxiv.org
·
3d
Local
Inconsistency
Resolution: The
Interplay
between Attention and Control in Probabilistic Models
✨
Effect Handlers
arxiv.org
·
4d
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