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
181961
posts in
39.5
ms
HiPO
: Hierarchical
Preference
Optimization for Adaptive Reasoning in LLMs
🔮
Proof Search
arxiv.org
·
3d
Towards Optimal Semantic
Communications
:
Reconsidering
the Role of Semantic Feature Channels
⧗
Information Bottleneck
arxiv.org
·
2d
Revisiting
Bayesian
Variable
Selection via Optimization
🧮
Kolmogorov Bounds
arxiv.org
·
2d
What Makes an LLM a Good
Optimizer
? A Trajectory Analysis of LLM-Guided
Evolutionary
Search
🧮
Constraint Solvers
arxiv.org
·
4d
The
Recurrent
Transformer:
Greater
Effective Depth and Efficient Decoding
🧠
Neural Codecs
arxiv.org
·
2d
LLM-Guided Strategy Synthesis for Scalable
Equality
Saturation
📐
E-graphs
arxiv.org
·
5d
Forge-UGC
:
FX
optimization and register-graph engine for universal graph compiler
📐
E-graphs
arxiv.org
·
5d
Transfer Learning from
Foundational
Optimization Embeddings to
Unsupervised
SAT Representations
🧮
SMT Solvers
arxiv.org
·
6d
Learning to
Evolve
: A Self-Improving Framework for Multi-Agent Systems via
Textual
Parameter Graph Optimization
⚡
Incremental Computation
arxiv.org
·
3d
Direct RNA sequence design under
codon
constraints using
expressive
tensor-based secondary structure models
🧬
Palindrome Codes
arxiv.org
·
4d
Weak-Link
Optimization for Multi-Agent Reasoning and
Collaboration
🔲
Cellular Automata
arxiv.org
·
6d
Scalable
AI Inference: Performance Analysis and Optimization of AI Model
Serving
💻
Local LLMs
arxiv.org
·
3d
AutoPPA
: Automated Circuit
PPA
Optimization via Contrastive Code-based Rule Library Learning
⚙️
Logic Synthesis
arxiv.org
·
5d
JTPRO
: A Joint Tool-Prompt
Reflective
Optimization Framework for Language Agents
🧮
SMT Solvers
arxiv.org
·
3d
Bilevel
Optimization of Agent Skills via Monte
Carlo
Tree Search
🔲
Cellular Automata
arxiv.org
·
6d
On the Stability and Generalization of First-order
Bilevel
Minimax
Optimization
🎯
Performance Proofs
arxiv.org
·
3d
Entropy-Driven Drift as a Source of Optimization
Difficulty
in
Combinatorial
Spaces
🧮
Kolmogorov Complexity
arxiv.org
·
5d
RosettaSearch
:
Multi-Objective
Inference-Time Search for Protein Sequence Design
🧮
Kolmogorov Complexity
arxiv.org
·
5d
ContraPrompt
: Contrastive Prompt Optimization via
Dyadic
Reasoning Trace Analysis
📐
Proof Assistants
arxiv.org
·
5d
Mango
: Multi-Agent Web
Navigation
via Global-View Optimization
🧠
Query Planners
arxiv.org
·
4d
« Page 1
·
Page 3 »
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