Feeds to Scour
SubscribedAll
Scoured 23863 posts in 19.0 ms
Approximation algorithms for satisfiable and nearly satisfiable ordering CSPs  🧮Constraint SMT
arxiv.org·1d·
FayAndXan/xanlens: Open source GEO audit engine. Ask 7 AI engines if they know your brand. Not heuristics — real queries to real models.  🔍BitFunnel
github.com·5d·Hacker News·
AXON: An Automated Netlist Optimization Framework for High-Speed Adders  📼Cassette Combinators
arxiv.org·2d·
Computing fixed point free automorphisms of graphs  🔗Graph Isomorphism
arxiv.org·3d·
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra  🧮SMT Solvers
arxiv.org·1d·
Scheduling with Time Dependent Utilities: Fairness and Efficiency  📈Linear programming
arxiv.org·1d·
Crossing Number is NP-hard for Constant Path-width (and Tree-width)  🕸️Graph Algorithms
arxiv.org·3d·
Reinforced Reasoning for End-to-End Retrosynthetic Planning  ⚡Z3 Optimization
arxiv.org·1d·
LLM-Driven Reasoning for Constraint-Aware Feature Selection in Industrial Systems  🧩WASM Components
arxiv.org·6d·
The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning  🌳Context free grammars
arxiv.org·1d·
MeshTailor: Cutting Seams via Generative Mesh Traversal  🌐Computational Topology
arxiv.org·2d·
Offline Decision Transformers for Neural Combinatorial Optimization: Surpassing Heuristics on the Traveling Salesman Problem  🧠Learned Indexes
arxiv.org·6d·
Wildfire Suppression: Complexity, Models, and Instances  🧮Kolmogorov Complexity
arxiv.org·1d·
Beyond the Answer: Decoding the Behavior of LLMs as Scientific Reasoners  ✓Automated Theorem Proving
arxiv.org·2d·
Decentralized Task Scheduling in Distributed Systems: A Deep Reinforcement Learning Approach  🔲Cellular Automata
arxiv.org·6d·
MPC as a Copilot: A Predictive Filter Framework with Safety and Stability Guarantees  📼Tape Combinators
arxiv.org·2d·
Dual-Graph Multi-Agent Reinforcement Learning for Handover Optimization  🤝Consensus Networks
arxiv.org·6d·
Safe Adaptive-Sampling Control via Robust M-Step Hold Model Predictive Control  🎯Performance Proofs
arxiv.org·2d·
From Human Cognition to Neural Activations: Probing the Computational Primitives of Spatial Reasoning in LLMs  💻Local LLMs
arxiv.org·3d·
ProgressVLA: Progress-Guided Diffusion Policy for Vision-Language Robotic Manipulation  🌀Riemannian Computing
arxiv.org·2d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help