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
🔄 Graph Rewriting
Specific
Term Rewriting, E-graphs, Optimization, Equational Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23924
posts in
16.8
ms
Structure, Analysis, and
Synthesis
of First-Order
Algorithms
🎯
Performance Proofs
arxiv.org
·
6d
·
…
An
experimental
guide to Answer Engine Optimization
⚡
Proof Automation
mapledeploy.ca
·
1d
·
Hacker News
·
…
Meta-Harness: End-to-End Optimization of Model
Harnesses
✨
Effect Handlers
yoonholee.com
·
3d
·
Hacker News
·
…
GaloisSAT
: Differentiable Boolean
Satisfiability
Solving via Finite Field Algebra
🧮
SMT Solvers
arxiv.org
·
1d
·
…
Meta-Harness: End-to-End Optimization of Model
Harnesses
🌀
Brotli Internals
arxiv.org
·
2d
·
…
Grokking
From
Abstraction
to Intelligence
🧠
Intelligence Compression
arxiv.org
·
1d
·
…
Design Once, Deploy at Scale:
Template-Driven
ML Development for Large Model
Ecosystems
⚡
Incremental Computation
arxiv.org
·
6d
·
…
Reasoning as Energy
Minimization
over Structured Latent
Trajectories
📊
Quantization
arxiv.org
·
2d
·
…
Large Language Models as Optimization Controllers: Adaptive
Continuation
for
SIMP
Topology Optimization
⚡
Incremental Computation
arxiv.org
·
6d
·
…
Performative
Scenario
Optimization
🌐
Protocol Synthesis
arxiv.org
·
1d
·
…
Property-Guided Molecular Generation and Optimization via
Latent
Flows
⚡
Incremental Computation
arxiv.org
·
2d
·
…
Domain
decomposition
of large neural network
surrogate
models
🧠
Machine Learning
arxiv.org
·
3d
·
…
Quadratic Gradient: A Unified Framework Bridging Gradient Descent and Newton-Type Methods by
Synthesizing
Hessians
and Gradients
🔗
Functional Compilers
arxiv.org
·
1d
·
…
EffiSkill
: Agent
Skill
Based Automated Code Efficiency Optimization
⚡
Effectful Programming
arxiv.org
·
2d
·
…
The adjoint state method for parametric
definable
optimization without
smoothness
or uniqueness
🔍
Type Inference
arxiv.org
·
3d
·
…
Model
Capability
Dominates: Inference-Time Optimization Lessons from
AIMO
3
🎯
Performance Proofs
arxiv.org
·
2d
·
…
Self-Improving Code Generation via Semantic
Entropy
and
Behavioral
Consensus
⚡
Incremental Computation
arxiv.org
·
1d
·
…
ParaQAOA
: Efficient Parallel Divide-and-Conquer QAOA for Large-Scale Max-Cut Problems Beyond 10,000
Vertices
🧮
Compute Optimization
arxiv.org
·
3d
·
…
Convergence analysis of
dynamical
systems for optimization by an improved
Lyapunov
framework
📐
Interval Arithmetic
arxiv.org
·
1d
·
…
AnyDoc
: Enhancing Document Generation via Large-Scale HTML/CSS Data Synthesis and
Height-Aware
Reinforcement Optimization
📋
Document Grammar
arxiv.org
·
6d
·
…
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