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
26596
posts in
17.6
ms
ONTO: A Token-Efficient
Columnar
Notation
for LLM Input Optimization
💻
Local LLMs
arxiv.org
·
4d
From $200 to $30: Five
Layers
of LLM Cost Optimization
🔍
BitFunnel
blog.dwornikowski.com
·
1d
·
Hacker News
Are LLM agents good at join order optimization?
🧠
Query Planners
databricks.com
·
3d
HiPO
: Hierarchical
Preference
Optimization for Adaptive Reasoning in LLMs
🔮
Proof Search
arxiv.org
·
2d
Learning to
Evolve
: A Self-Improving Framework for Multi-Agent Systems via
Textual
Parameter Graph Optimization
⚡
Incremental Computation
arxiv.org
·
2d
OptiVerse
: A Comprehensive Benchmark towards Optimization Problem
Solving
⚡
Z3 Optimization
arxiv.org
·
1d
RECURSUM
: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via
LayeredCodegen
🎯
Performance Proofs
arxiv.org
·
3d
Scalable
AI Inference: Performance Analysis and Optimization of AI Model
Serving
💻
Local LLMs
arxiv.org
·
2d
What Makes an LLM a Good
Optimizer
? A Trajectory Analysis of LLM-Guided
Evolutionary
Search
🧮
Constraint Solvers
arxiv.org
·
3d
JTPRO
: A Joint Tool-Prompt
Reflective
Optimization Framework for Language Agents
🧮
SMT Solvers
arxiv.org
·
2d
On the Stability and Generalization of First-order
Bilevel
Minimax
Optimization
🎯
Performance Proofs
arxiv.org
·
2d
LLM-Guided Strategy Synthesis for Scalable
Equality
Saturation
📐
E-graphs
arxiv.org
·
4d
Sophia
: A Scalable Stochastic Second-order
Optimizer
for Language Model Pre-training
📊
Quantization
arxiv.org
·
2d
·
Hacker News
Learning to
Communicate
:
Toward
End-to-End Optimization of Multi-Agent Language Systems
🧮
Kolmogorov Complexity
arxiv.org
·
1d
Transfer Learning from
Foundational
Optimization Embeddings to
Unsupervised
SAT Representations
🧮
SMT Solvers
arxiv.org
·
5d
HARBOR
: Automated
Harness
Optimization
🔗
Topological Sorting
arxiv.org
·
1d
Weak-Link
Optimization for Multi-Agent Reasoning and
Collaboration
🔲
Cellular Automata
arxiv.org
·
5d
EvoAgent
: An
Evolvable
Agent Framework with Skill Learning and Multi-Agent Delegation
🔲
Cellular Automata
arxiv.org
·
2d
Exploiting LLM-as-a-Judge
Disposition
on Free Text Legal
QA
via Prompt Optimization
⚡
Proof Automation
arxiv.org
·
2d
AutoPPA
: Automated Circuit
PPA
Optimization via Contrastive Code-based Rule Library Learning
⚙️
Logic Synthesis
arxiv.org
·
4d
Page 2 »
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