🧮 Constraint Solvers - matmat · Scour

EvoAgent: An Evolvable Agent Framework with Skill Learning and Multi-Agent Delegation 🔲Cellular Automata

ONTO: A Token-Efficient Columnar Notation for LLM Input Optimization 💻Local LLMs

EARL-BO: Reinforcement Learning for Multi-Step Lookahead, High-Dimensional Bayesian Optimization 🧠Machine Learning

Understanding and Mitigating Spurious Signal Amplification in Test-Time Reinforcement Learning for Math Reasoning ⚔️Lean Tactics

A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving 🎯Performance Proofs

Explicit Dropout: Deterministic Regularization for Transformer Architectures 🧠Machine Learning

Multi-Objective Bayesian Optimization via Adaptive \varepsilon-Constraints Decomposition 📈Linear programming

Distributed Generative Inference of LLM at Internet Scales with Multi-Dimensional Communication Optimization 💻Local LLMs

The Recurrent Transformer: Greater Effective Depth and Efficient Decoding 🧠Neural Codecs

Similarity-based Portfolio Construction for Black-box Optimization 🧠Learned Indexes

FluSplat: Sparse-View 3D Editing without Test-Time Optimization ⟷Bidirectional Programming

Weak-Link Optimization for Multi-Agent Reasoning and Collaboration 🔲Cellular Automata

Evidence of Layered Positional and Directional Constraints in the Voynich Manuscript: Implications for Cipher-Like Structure 🗝️Paleocryptography

Learning to Communicate: Toward End-to-End Optimization of Multi-Agent Language Systems 🧮Kolmogorov Complexity

SmartPhotoCrafter: Unified Reasoning, Generation and Optimization for Automatic Photographic Image Editing ⟷Bidirectional Programming

Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systems 📊Computational Geometry

Architecture Matters More Than Scale: A Comparative Study of Retrieval and Memory Augmentation for Financial QA Under SME Compute Constraints 🦀Rusty Databases

Break the Optimization Barrier of LLM-Enhanced Recommenders: A Theoretical Analysis and Practical Framework 🎛️Feed Filtering

From Noise to Intent: Anchoring Generative VLA Policies with Residual Bridges 💻Local LLMs

Backdoors for Quantified Boolean Formulas 🎯Proof Tactics

No more posts from matmat's subscribed feeds.

Scour all 24371 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling