What do these badges mean?
- 🚀ShippingCode exists. Multiple GitHub repos already reference this paper — people are building on it.
- 📈ClimbingCitation velocity is rising. Researchers are starting to pick it up.
- 💤QuietPublished but no notable signal yet. Most papers live here — could become anything later.
- 🎭HypeHeavy social buzz but no shipping signal. The counter-signal — defer until Twitter/X data is wired up.
- 💤Quiet2608.23541·Aug 24, 2026·~12 mincs.MAcs.AI
The Interaction Tax: When Communication Erases Diversity in Multi-Agent Teams
Summer Eunhyung Ann, Haokun Liu, Chenhao Tan
⭐ 0 stars / 0 repos📚 0 citesELI5When multiple AI models work together by sharing their full answers, they tend to copy each other and lose the diversity that made them useful in the first place. The paper shows that having models work independently, then combining their answers, often works better than having them chat mid-solution.
Problem solvedTeams building multi-agent LLM systems are seeing mixed results—sometimes collaboration helps, sometimes it wastes tokens without improving answers. This paper explains why: agents sharing complete solutions converge too quickly, killing the benefit of having different models. Knowing this helps teams design better agent interactions.
- 💤Quiet2608.23353·Aug 24, 2026·~10 mincs.CLcs.NE
FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations
Haofeng Yuan, Jianing Peng, Jieyi Bi, Ni Zhang, +2
⭐ 0 stars / 0 repos📚 0 citesELI5A system that uses AI to automatically rewrite math optimization problems in smarter ways so that solver software can find answers 5.5× faster—like how a good recipe makes cooking easier, not just possible.
Problem solvedOptimization solvers are slow because LLMs write correct but inefficient problem formulations. Companies waste compute and time on hard problems that could be solved faster with better mathematical rewriting.
- 💤Quiet2608.23323·Aug 24, 2026·~9 mincs.NEcs.AI
Mycelial Search: A Graph-Structured Metaheuristic for Continuous Optimisation
Mohammad Mahdi Dehshibi
⭐ 0 stars / 0 repos📚 0 citesELI5A new optimization algorithm that searches for solutions by maintaining a growing network of candidate points, where points share information within their local communities and adaptively adjust their connections based on which directions seem promising.
Problem solvedFinding optimal solutions in complex continuous search spaces requires balancing exploration (trying different areas) with exploitation (improving promising directions). Existing methods struggle to maintain diverse search paths while effectively sharing useful information.
- 💤Quiet2608.21359·Aug 21, 2026·~7 minmath.OCcs.AIcs.LG
Primal Acceleration of Newton's Method
Nikita Doikov
⭐ 0 stars / 0 repos📚 0 citesELI5A new way to solve optimization problems (finding the best answer) that uses second-order information (Newton's method) but speeds it up by three times faster than basic Newton. It only needs to solve one linear equation per step, making it practical for large problems.
Problem solvedNewton's method is slow for optimization, and existing faster versions either require solving expensive subproblems or multiple linear solves per iteration. This gives you the speed bump without the computational overhead, so large-scale optimization becomes tractable.
- 💤Quiet2608.21319·Aug 21, 2026·~10 mincs.AIcs.RO
Unified Branch-and-Bound Search for the Steiner Traveling Salesman Problem on Graphs of Convex Sets
Jingtao Tang, Hang Ma
⭐ 0 stars / 0 repos📚 0 citesELI5A robot needs to visit a set of required zones and can take optional detours, and this algorithm finds the cheapest path by intelligently pruning impossible routes using mathematical bounds that guarantee how close to optimal the solution is.
Problem solvedPlanning efficient trajectories for robots (like inspectors or manipulators) that must visit specific regions while potentially revisiting them is computationally hard; this method handles continuous spaces and constraints that existing planners struggle with, providing cost guarantees.
- 💤Quiet2608.20258·Aug 20, 2026·~9 mincs.LGstat.ML
DICS: Data-Informed Centroid Splitting for Decision Tree Classifiers
MD Saifur Rahman Mazumder, Feng Yu
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of trying every possible split point when building a decision tree, this method uses clustering to pick a smarter, smaller set of candidate splits upfront. It's like choosing 10 promising door positions to test instead of testing 1000.
Problem solvedTraining decision trees on large datasets is slow because the algorithm exhaustively searches for the best split at each node. DICS cuts this computational cost dramatically while keeping the tree's accuracy intact.
- 💤Quiet2608.19993·Aug 20, 2026·~11 mincs.AI
Optimal Skill Selection for LLM Agents with Provable Bicriteria Guarantees
Yu Chen, Ruishuo Chen, Xun Wang, Zhuoran Li, +1
⭐ 0 stars / 0 repos📚 0 citesELI5When an AI agent needs to solve a task, it loads reference materials (skills) into its context window. This paper figures out which skills to load to maximize performance while staying within a token budget—like packing the most useful items into a backpack of fixed size.
Problem solvedLLM agents waste context tokens on redundant or irrelevant skills, hurting both performance and cost. Current methods pick skills by relevance alone without considering how they work together or fit the budget, leading to suboptimal task execution.
- 💤Quiet2608.19147·Aug 19, 2026·~15 mincs.DCcs.AIcs.SE
Pre-Compiled Pipeline Shards for Distributed LLM Inference on Intel AI PC Fleets
Tate Berenbaum, Muthaiah Venkatachalam
⭐ 0 stars / 0 repos📚 0 citesELI5Split a large language model across multiple Intel AI PCs by layers, so each machine handles one piece and passes results to the next. Smart compilation and request batching let several users share the same pipeline without slowing down individual responses.
Problem solvedSingle Intel AI PCs don't have enough memory for large models like Llama 70B, but a cluster of them sitting idle could work together. This shows how to actually do it fast enough to be practical for real inference workloads.
- 💤Quiet2608.18040·Aug 18, 2026·~9 mincs.LGcs.CV
Optimize Your Sampling: Tuned Diffusion Sampling with Bayesian Optimization
Travis Zhang, Christian Belardi, Justin Lovelace, Jin Peng Zhou, +3
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of guessing which steps matter most when generating images from a diffusion model, this method uses Bayesian optimization to automatically find the best timesteps to sample at—like tuning a recipe by testing different ingredient combinations until you find the sweet spot.
Problem solvedDiffusion models are slow because they need many forward passes. While researchers optimized the solvers themselves, nobody was optimizing *which timesteps to use*. This method finds optimal sampling schedules that cut generation time by 10x with minimal quality loss.
- 💤Quiet2608.16884·Aug 17, 2026·~6 mincs.DScs.AIcs.CC
Improving the matrix multiplication exponent with modern optimization and AlphaEvolve
Emilien Dupont, Marvin Eisenberger, Borislav Kozlovskii, Abbas Mehrabian, +6
⭐ 0 stars / 0 repos📚 0 citesELI5Researchers found a way to multiply large matrices faster by reformulating the math problem behind it and using modern machine learning optimization techniques, achieving a tiny but real improvement in the theoretical speed limit.
Problem solvedMatrix multiplication is fundamental to computing, and shaving even 0.0001 off the exponent translates to massive speedups at scale. Previous methods hit optimization bottlenecks; this work breaks through by reformulating the problem and applying ML-based solvers.
- 💤Quiet2608.16878·Aug 17, 2026·~14 mincs.DScs.LGmath.PR
Spectral Gaps of Hit-and-Run and Coordinate Hit-and-Run
Yunbum Kook, Santosh S. Vempala
⭐ 0 stars / 0 repos📚 0 citesELI5This paper proves how fast the Hit-and-Run algorithm explores a high-dimensional shape uniformly. Instead of measuring speed by the shape's size, the authors measure it by a property called the Poincaré constant, which better reflects the shape's actual geometry—like measuring how 'spread out' the shape is rather than just its radius.
Problem solvedHit-and-Run is used to sample uniformly from complex high-dimensional regions, but the previous best convergence bounds were loose. This work tightens those bounds significantly, making it practical to know in advance how many steps you actually need for accurate sampling in real applications.
- 💤Quiet2608.16861·Aug 17, 2026·~8 mincs.DMcs.LGmath.CO
The canonical facets of multi-separator polytopes
Bjoern Andres, Silvia Di Gregorio, Jannik Irmai, Lucas Fabian Naumann, +1
⭐ 0 stars / 0 repos📚 0 citesELI5This paper figures out the mathematical building blocks (facets) of a polytope—a shape defined by linear constraints—that solves graph separation problems used in image segmentation. Think of it as finding all the corner rules that define a shape used to cut images into parts.
Problem solvedImage segmentation algorithms need efficient ways to split images into regions. This work characterizes the mathematical structure underlying a newer multi-separator approach, enabling better algorithms and tighter solutions compared to previous multicut methods.
- 💤Quiet2608.14492·Aug 14, 2026·~7 mincs.LG
Approximate Muon with low-rank adapters
Ben Anson, Conor Houghton, Edward Milsom
⭐ 0 stars / 0 repos📚 0 citesELI5A team figured out how to use the Muon optimizer—which is great for training neural networks—with LoRA, a popular parameter-efficient fine-tuning technique. They approximate Muon's math for low-rank adapters so it works efficiently with standard matrix operations.
Problem solvedMuon optimizer works well for pretraining but couldn't be combined with LoRA (the standard way to cheaply fine-tune models) because the math didn't allow it. This meant practitioners had to choose between Muon's benefits or using LoRA, not both.
- 💤Quiet2608.14491·Aug 14, 2026·~5 mineess.SYcs.AI
Optimal Scheduling of Road Maintenance Jobs Considering Impact on Traffic Flows
Charitha Nandepu, Lohitha Kalepu, Gabriele Ciavarella, SangWoo Park
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of slowly simulating traffic flow thousands of times while planning road repairs, this paper trains a fast AI model that predicts how traffic will behave when roads are closed—letting cities schedule maintenance work without gridlock.
Problem solvedCity planners waste time and money running expensive traffic simulations for each potential maintenance schedule. This makes it nearly impossible to find good repair schedules for large road networks. A fast surrogate model solves this by predicting traffic impacts instantly.
- 💤Quiet2608.14472·Aug 14, 2026·~13 mincs.LGcs.AI
LP-NAS: Linear Programming-based Neural Architecture Search
Abhishek Shukla, Ankur Sinha, Faiz Hamid
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of randomly tweaking neural network designs, this method uses math (linear programming) to figure out exactly which changes to make next. It's like having a GPS that points you toward better architectures instead of wandering blindly.
Problem solvedNeural architecture search is slow and inefficient because it doesn't know which direction to search. This method uses mathematical optimization to find better search directions faster, cutting down the time needed to discover good network designs.
- 💤Quiet2608.14443·Aug 14, 2026·~12 mincs.LGcs.AI
Designing Compact Neural Architectures via Neuron Gating and Mixed Activation
Abhishek Shukla, Ankur Sinha, Faiz Hamid
⭐ 0 stars / 0 repos📚 0 citesELI5This paper makes neural networks smaller and faster by automatically deciding which neurons and activation functions to keep during training. Instead of trying all possible combinations (which is impossibly slow), it uses math tricks to smoothly optimize which parts of the network are actually useful.
Problem solvedBuilding efficient neural networks usually requires expensive trial-and-error or manual design. This automates the process of finding compact architectures that work well, cutting model size dramatically without sacrificing accuracy—crucial for deploying AI on phones or edge devices.
- 💤Quiet2608.13560·Aug 13, 2026·~11 mincs.CVcs.AIcs.CL
AutoDesign: Meta-Harness Optimization for Long-Horizon Agentic Design
Yaxin Luo, Haobin Jiang, Jialv Zou, Xu Huang, +10
⭐ 0 stars / 0 repos📚 0 citesELI5A system that automatically learns how to design better academic posters from research papers by repeatedly trying different design approaches, getting feedback, and improving its process — like a designer who gets better at their job the more posters they make.
Problem solvedConverting papers into visually effective posters is tedious and requires constant manual tweaking. This system automates the entire design workflow, learning from failures to improve over time, saving hours of manual work while producing higher-quality results than existing tools.
- 💤Quiet2608.13520·Aug 13, 2026·~9 mincs.LGcs.AIcs.IT
The data geometry of masking diffusion: Certified-optimal schedules via unmasking growth complexity
Martin J. Wainwright
⭐ 0 stars / 0 repos📚 0 citesELI5This paper figures out the optimal way to gradually unmask (reveal) data in discrete diffusion models by measuring how 'complex' the data geometry is. It shows you can adapt the unmasking schedule to match the data's shape and achieve certified-optimal sampling with fewer steps.
Problem solvedDiscrete diffusion models waste computation on poorly-tuned unmasking schedules that don't match the data structure. This work provides provably-optimal schedules tailored to data geometry, reducing iterations needed to reach a target quality level by factors like sqrt(d).
- 💤Quiet2608.13467·Aug 13, 2026·~11 mincs.LG
Active-Trace Complexity Bounds for Moreau--Yosida Unadjusted Langevin Sampling
Yuchen Xin, Zhihua Zhang
⭐ 0 stars / 0 repos📚 0 citesELI5This paper figures out how many steps a sampling algorithm needs to draw from a complicated probability distribution defined by a non-smooth function. Instead of counting all the curvature everywhere, it counts only the curvature that actually matters where the algorithm spends time.
Problem solvedSampling from distributions with non-smooth components (like penalties in machine learning) has been slow because existing analysis assumes worst-case curvature everywhere. This work tightens the bounds significantly for realistic problems with structured penalties, making the algorithm practical to use.
- 💤Quiet2608.13415·Aug 13, 2026·~7 mincs.ROcs.AI
Deliberate Practice: Learning Robot Skills under a Budget
Shivam Vats, Sudarshan Harithas, Mete Tuluhan Akbulut, Arvind Raghunathan, +1
⭐ 0 stars / 0 repos📚 0 citesELI5A robot has limited time to practice and needs to decide which skills to learn first. This algorithm figures out the optimal order and amount of practice for each skill to maximize how well the robot can complete complex tasks—like solving a puzzle where practicing certain basics unlocks harder moves.
Problem solvedRobots in real settings have finite practice budgets (time, data, real-world interactions are expensive). Without smart allocation, they waste effort on less useful skills. This approach tells robots exactly how to spend their limited practice time to maximize task performance.
- 💤Quiet2608.13365·Aug 13, 2026·~14 mincs.LG
When Local Variance Optimality Is Not Enough: RoPE-Aligned Q/K Rotations for Dynamic 4-Bit Quantisation
Shuhan Wang, Yilin Luo, Nan Xu, Chi Wang Cheung
⭐ 0 stars / 0 repos📚 0 citesELI5This paper tests whether rotating attention head weights in a way that respects the RoPE positional encoding structure can make 4-bit quantization better. It turns out the math-optimal rotation actually hurts performance because the optimization target doesn't match how the quantizer actually works.
Problem solvedWhen compressing large language models to 4-bit precision, you want to rotate weights to minimize quantization error. This work shows that just because a rotation is mathematically optimal for one metric doesn't mean it improves actual model accuracy—the mismatch between what you optimize and what the quantizer uses matters.
- 💤Quiet2608.13333·Aug 13, 2026·~11 mincs.AI
LLM-Guided Graph Generation for Structure-Based Local Improvement Methods
Hai Xia, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
⭐ 0 stars / 0 repos📚 0 citesELI5This work uses an LLM to automatically figure out which variables in an optimization problem should be tweaked together during local search, by having the LLM create a graph showing how variables relate to each other through constraints.
Problem solvedOptimization solvers need custom variable-selection strategies for each problem type, which is tedious and domain-specific. This automates that process using LLMs to extract structural patterns that work across different constraint problems.
- 💤Quiet2608.13296·Aug 13, 2026·~6 mincs.LGcs.AI
Large-scale Testing Global Optimization Methods with Black-box Adversarial Attacks
Wojciech Zarzecki, Jarosław Arabas
⭐ 0 stars / 0 repos📚 0 citesELI5A new benchmarking dataset for optimization algorithms using adversarial attacks against ML models. Instead of testing optimizers on old math functions, they use real attacks on neural networks as the test cases.
Problem solvedGlobal optimization algorithms are tested on outdated benchmark functions, leading to methods that don't work well on modern ML problems like finding adversarial examples. This creates a gap between academic optimization research and practical ML challenges.
- 💤Quiet2608.12290·Aug 12, 2026·~12 mincs.CVcs.AIcs.MM
Beyond Trial-and-Error: Agentic Optimization for Image-to-Video Adherence
Aman Tyagi, Hemanth Boinpally, Jonathan Chen, Douglas Gebert, +1
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of randomly tweaking prompts and settings to get good videos from AI, this system automatically refines your instructions and parameters using AI feedback loops—like having a director repeatedly improving a script until the final video matches what you actually asked for.
Problem solvedImage-to-video generators produce wildly different outputs from tiny prompt changes, forcing creators to waste time on trial-and-error. This system makes video generation predictable and controllable so professionals can reliably get what they want without endless re-runs.
- 💤Quiet2608.07440·Aug 7, 2026·~8 mincs.AI
Blast Radius
MY Pitsane, Hope Mogale
⭐ 0 stars / 0 repos📚 0 citesELI5A smart memory manager for AI coding assistants that figures out which past conversations and code snippets can be safely deleted or archived, then brings them back only when needed—cutting wasted tokens by a quarter while keeping everything recoverable.
Problem solvedAI coding agents waste money and compute by keeping massive context histories in memory. This system predicts what context an incoming task actually needs, archives the rest efficiently, and resurrects it on demand—making agentic coding cheaper and faster.
- 💤Quiet2608.07436·Aug 7, 2026·~15 mincs.AIcs.LG
Post-Grokking Collapse at the Representation-Readout Interface in Muon-Trained Transformers
Ali Janati, Kaoutar El Maghraoui, Andrei Kanavalau, Anass Belfatmi
⭐ 0 stars / 0 repos📚 0 citesELI5When training neural networks on simple math problems with certain optimizers, they learn to solve them perfectly—then mysteriously forget. The forgetting happens at the boundary between the learned patterns and the final answer layer, and freezing that layer prevents it.
Problem solvedNeural networks sometimes grok (suddenly generalize), but then collapse and lose their learned solution. This instability makes it unreliable to train with certain optimizer combinations, breaking reproducibility and wasting compute on solutions that don't stick.
- 💤Quiet2608.07323·Aug 7, 2026·~5 mincs.LG
Is SwiGLU's Open Positive Tail Necessary? Evidence from Closed-Tail Gating with MemGLU
Yuting Ge, Pengju Yang, Mingkai Nie
⭐ 0 stars / 0 repos📚 0 citesELI5Researchers tested whether a popular neural network component called SwiGLU actually needs its special 'open' design, or if a simpler 'closed' alternative works just as well. They found that a new design called MemGLU performs nearly identically to SwiGLU despite having a fundamentally different shape.
Problem solvedSwiGLU is widely used in large language models but its design choices aren't well understood. This work clarifies that you might not need SwiGLU's specific architecture, potentially simplifying model design and opening up alternatives without performance loss.
- 💤Quiet2608.07248·Aug 7, 2026·~7 minmath.OCcs.LG
Establishing Boundary KKT Convergence of Mirror Descent through Reparameterization
Kuangyu Ding, Kim-Chuan Toh
⭐ 0 stars / 0 repos📚 0 citesELI5Mirror descent is an optimization algorithm that works in distorted coordinate spaces. This paper proves it reliably finds good solutions even at the edges of the allowed region, by using a clever coordinate transformation that makes the math work out.
Problem solvedPrevious proofs of mirror descent broke down at boundary points (edges of feasible regions), forcing practitioners to avoid them artificially or accept incomplete convergence guarantees. This work removes that limitation, making the algorithm's theoretical promises hold everywhere.
- 💤Quiet2608.06340·Aug 6, 2026·~14 minstat.MLcs.LGmath.ST
Scalable estimation of VARMA models
Daniel Paulin, Victor Elvira
⭐ 0 stars / 0 repos📚 0 citesELI5A new method makes it practical to fit VARMA models (statistical models for time series with multiple variables) by replacing the expensive likelihood computation with fast Fourier-based calculations, so each optimization step takes the same time regardless of how long your dataset is.
Problem solvedVARMA models are more efficient than simpler VAR models but were impractical at scale because fitting them required scanning the entire time series repeatedly and solving non-convex problems. This method unblocks practitioners who need compact models for high-dimensional forecasting without VAR's bloat.
- 💤Quiet2608.06301·Aug 6, 2026·~13 mincs.AIcs.CLcs.LG
HarnessOpt-Bench: Evaluating LLMs at Harness Optimization
Varun Ursekar, Apaar Shanker, Yash Maurya, Shehab Yasser, +3
⭐ 0 stars / 0 repos📚 0 citesELI5Can AI systems improve their own prompts and setup code to work better? This benchmark tests how well frontier LLMs can edit the 'harness' (prompts, tools, memory) around an agent to boost its performance, with a fixed budget and graded feedback.
Problem solvedCompanies deploying LLM agents need ways to improve them beyond model weights—but there's no standard way to measure whether an LLM can actually optimize its own prompts and orchestration code effectively. This benchmark fixes that gap.
- 💤Quiet2608.05136·Aug 5, 2026·~14 mincs.LG
The Loss Does Not See the Basis, but Adam Does
Devender Singh
⭐ 0 stars / 0 repos📚 0 citesELI5This paper explains why Adam and gradient descent behave differently on the same model: gradient descent naturally finds low-rank solutions because it respects the model's underlying symmetry, while Adam breaks that symmetry and finds different solutions. It's like two people solving a maze—one follows the wall structure naturally, the other cuts across obstacles.
Problem solvedWhen training matrix-factored models, the choice of optimizer dramatically affects what solution you get, not just how fast you get there. This matters for real systems like transformers where it determines generalization—the paper shows gradient descent can cut error by 43% vs Adam on some tasks, but this was mysterious until now.
- 💤Quiet2608.05088·Aug 5, 2026·~10 mincs.LG
MALT: Lightweight Curvature-Aware Muon via Diagonal Preconditioning
Tongle Wu, Huanyu Dong, Ying Sun, Ziye Ma
⭐ 0 stars / 0 repos📚 0 citesELI5A new optimizer called MALT improves upon Muon by adding lightweight curvature awareness to training—it uses cheap diagonal adjustments to better understand the loss landscape's shape, making training faster and more stable without slowing things down.
Problem solvedMuon is fast and memory-efficient for training large language models, but it ignores how curved the loss landscape is, which can make optimization inefficient or unstable. MALT fixes this by adding minimal overhead to account for curvature.
- 💤Quiet2608.05006·Aug 5, 2026·~12 mincs.LGstat.COstat.ML
Stochastic Emulation using Generalized Stratified Sampling for Performance-Based Risk Optimization of Structures
Isabela D. Rodrigues, Seymour M. J. Spence, Henrique M. Kroetz, André T. Beck
⭐ 0 stars / 0 repos📚 0 citesELI5A new method for designing safer buildings by using smart sampling and machine learning to predict how structures will respond to earthquakes—focusing on getting the rare, extreme cases right without needing thousands of expensive simulations.
Problem solvedEngineers need to optimize building designs for safety and cost, but predicting rare dangerous outcomes requires running thousands of expensive structural simulations. This method cuts that burden dramatically by sampling the riskiest scenarios smartly and using math to fill in the gaps.
- 💤Quiet2608.04927·Aug 5, 2026·~6 mincs.LG
Optimal Training-Time Scaling in Gradual Adaptation
Zonghuan Xu, Krishna Harish
⭐ 0 stars / 0 repos📚 0 citesELI5When you train an AI model on a sequence of gradually changing tasks, how long should you spend on each one? This paper finds that the optimal time per task should shrink as you add more intermediate steps—spending less time on each task actually helps you learn the full sequence better.
Problem solvedML practitioners doing continual or sequential learning don't know how to allocate compute across task transitions. This work gives a concrete scaling rule: as you break a learning path into finer steps, spend less time per step, not more.
- 💤Quiet2608.04882·Aug 5, 2026·~7 mincs.LGcond-mat.dis-nnmath-ph
Variational Bounds for Perceptron Learning from Structured Data
Francesco Camilli, Pierluigi Contucci, Federica Gerace, Emanuele Mingione
⭐ 0 stars / 0 repos📚 0 citesELI5A new mathematical technique for understanding how neural networks learn from structured data by finding upper and lower bounds on their performance—think of it like squeezing a problem from both sides until you find the exact answer.
Problem solvedCalculating exactly how well neural networks generalize is hard; this provides rigorous mathematical bounds that actually match in many cases, letting you know precisely when a model will work rather than just guessing.
- 💤Quiet2608.03983·Aug 4, 2026·~8 mincs.PLcs.AI
Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
Hailong Jiang, Feng Yu, Emran Hossain, Jianfeng Zhu, +3
⭐ 0 stars / 0 repos📚 0 citesELI5LLMs can read messy C/C++ code and suggest hidden assumptions that compilers miss, which then unlock better optimizations. The trick is validating that these suggestions don't break the code.
Problem solvedCompilers leave performance on the table because they can't see the full picture of what code is *allowed* to do. LLMs can infer these constraints from context and propose transformations that lead to real speedups.
- 💤Quiet2608.03967·Aug 4, 2026·~12 minstat.MLcs.LG
Information-Geometric Forward Policy Training in GFlowNets
Yordan Raykov, Rodrigo Veiga
⭐ 0 stars / 0 repos📚 0 citesELI5This paper figures out the best way to train GFlowNets (models that generate discrete objects) by using information geometry—essentially, they map out the mathematical terrain of training and use that map to take smarter, more efficient steps during learning.
Problem solvedTraining GFlowNets is slow and inefficient because standard gradient descent doesn't account for the structure of the problem. This work provides a principled way to exploit that structure, making training faster and more reliable, especially when the target has factored or localized structure.
- 💤Quiet2608.03941·Aug 4, 2026·~8 mincs.LG
Muon Meets Mamba: Spectral Optimization for State Space Models
Arslan Battalov, Karim Kramin, Alexander Markotenko, Sofia Sinitsina
⭐ 0 stars / 0 repos📚 0 citesELI5Researchers tested a fancy optimizer called Muon (which cleans up weight updates using math tricks) on Mamba, a newer type of neural network. They found it only helps when used on one specific layer, and mainly saves tokens during training rather than making the final model smarter.
Problem solvedMuon was only tested on Transformers before, so it was unclear if it actually helps other model types like state-space models. This work fills that gap and shows the optimizer's benefits are narrower than assumed.
- 💤Quiet2608.02588·Aug 3, 2026·~8 mincs.DScs.LG
The Condition-Number Barrier in Sparse Least Squares
Honghao Lin, Vahab Mirrokni, David P. Woodruff
⭐ 0 stars / 0 repos📚 0 citesELI5This paper proves that you can't efficiently solve sparse least-squares problems (fitting a sparse solution to overdetermined equations) better than current methods allow — there's a mathematical speed bump that any fast algorithm will hit, assuming a hard computational assumption holds.
Problem solvedSparse optimization is common in machine learning and science, but algorithms are slow when data is poorly conditioned. This paper formally proves that the slowness is unavoidable, helping researchers understand whether they're wasting time trying to beat it or should accept the tradeoff.
- 💤Quiet2608.02576·Aug 3, 2026·~7 mincs.LG
Smooth Reparameterizations of Functions on Simplicial Product Spaces: Applications to Probabilistic Tensor Decomposition and Functional Data Registration
Shashwat Kumar, Arafat Rahman, Anuj Srivastava, P. -A. Absil
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of solving optimization problems that are stuck on the boundary of geometric shapes (like simplices), this work converts them into smooth unconstrained problems on curved spaces—like trading a cage for open ground. The solutions map back to the original constrained problems and work better for tasks like learning probability distributions and aligning curves.
Problem solvedOptimizing on constrained spaces like simplices is slow and numerically awkward. This work makes those problems easier to solve by converting them to smooth manifolds where standard gradient methods work better, improving both speed and accuracy for tensor decomposition and functional data alignment.
- 💤Quiet2608.02569·Aug 3, 2026·~15 mincs.AIcs.DCcs.OS
AtumAI: A Principled Framework for Agentic Generation of Datacenter Control-Plane Policies
Qiushi Lin, Chaojie Zhang, Íñigo Goiri, Aditya Akella, +2
⭐ 0 stars / 0 repos📚 0 citesELI5A system that uses AI agents to automatically design datacenter control policies by converting English descriptions into formal specifications, then searching for solutions using multiple AI techniques (language models, evolutionary algorithms, diffusion models) instead of relying on one model alone.
Problem solvedDesigning datacenter control policies currently takes months of expert engineering and involves navigating huge design spaces with hard constraints. AtumAI automates this by formalizing requests and systematically exploring solutions, cutting onboarding time from months to writing a description.
- 💤Quiet2607.29674·Jul 31, 2026·~11 minmath.OCcs.LG
Sign compression for Muon: SignMuon, MuonSign, and the Limits of Error Feedback
Maria Smirnova, Alexey Kravatskiy
⭐ 0 stars / 0 repos📚 0 citesELI5Researchers tried to compress a smart optimizer (Muon) down to single-bit updates by just taking the sign of each number, like rounding everything to +1 or -1. It works better than simpler methods in practice, but the math shows it can actually make loss worse even on simple problems—yet experiments show it still wins real-world tasks.
Problem solvedTraining large models requires sending huge optimizer updates across networks (expensive in federated/distributed settings). Extreme compression to 1 bit per parameter cuts communication dramatically, but the theory-practice gap here is stark: the 'correct' convergent methods underperform the provably broken ones at scale.
- 💤Quiet2607.28488·Jul 30, 2026·~13 mincs.AIcs.LG
SCOPE: Supply-Chain Operations through Coupled Policies for End-to-End Coordination
Yunhao Liang, Xianqi Cao, Pujun Zhang, Yuan Qu, +3
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of letting different departments optimize their own supply-chain pieces independently (what warehouse stocks what, how often to restock, which routes to use), this system treats the whole chain as one connected problem—like realizing that changing what products a store carries automatically changes what the warehouse needs to send it.
Problem solvedReal supply chains suffer from stockouts, excess inventory, and wasted transportation because different departments optimize separately without seeing how their decisions affect each other. This fixes that by coordinating assortment, sourcing, replenishment frequency, and routing as one unified decision.
- 💤Quiet2607.26001·Jul 28, 2026·~8 mincs.LGstat.ML
Sharpness-Aware Minimization and Muon: Robustness under the Spectral Norm
Wenzhi Zhong, Edward Milsom, Michael Murray
⭐ 0 stars / 0 repos📚 0 citesELI5This paper figures out a better way to make AI models more robust by perturbing weights in a way that respects the internal structure of neural networks—like nudging a model's parameters along directions that actually matter, rather than random directions.
Problem solvedTraining methods like SAM improve generalization but don't account for how the actual structure of weights in neural networks differs across layers. This leads to suboptimal robustness gains and slower convergence on large models like ViTs.
- 💤Quiet2607.25970·Jul 28, 2026·~14 mincs.LGcs.AI
Reinforcement Learning for Code Optimization
Pierre Chambon, Kunhao Zheng, Juliette Decugis, Benoit Sagot, +1
⭐ 0 stars / 0 repos📚 0 citesELI5Teaches AI models to write faster code by using reinforcement learning with a reliable way to measure execution speed. The trick is building a proper testing setup, smartly combining correctness and speed rewards, and tuning the learning algorithm for noisy timing data.
Problem solvedRL easily teaches models to write correct code, but optimizing for speed breaks because timing measurements are noisy and the signal is weak. This fixes that by making speed measurement reliable and learnable, so models actually generate meaningfully faster solutions.
- 💤Quiet2607.22484·Jul 24, 2026·~4 minmath.NAcs.LGmath.OC
Singular value soft-thresholding via the polar decomposition
Stephen Becker
⭐ 0 stars / 0 repos📚 0 citesELI5A faster way to do soft-thresholding on matrices (a common operation in machine learning) by using polar decomposition instead of the standard singular value decomposition, with speedups on GPUs.
Problem solvedMatrix soft-thresholding is slow on GPUs using standard SVD methods. This provides a faster GPU-friendly alternative, though it trades off accuracy for speed.
- 💤Quiet2607.22467·Jul 24, 2026·~8 mincs.LG
Complexity Bounds and Approaches to Learning Projected Gradient Descent Solver Iterates
Anjian Li, Ryne Beeson
⭐ 0 stars / 0 repos📚 0 citesELI5Instead of collecting data only from finished solutions to optimization problems, this paper shows you can use intermediate steps along the way as training examples. Like collecting snapshots of a climber at each checkpoint, not just the summit—giving you more training data without extra computation.
Problem solvedTraining neural networks to warm-start expensive optimization solvers requires lots of converged solutions, which is data-hungry and computationally costly. This approach multiplies your training data by reusing intermediate solver steps, making it practical to learn good initial guesses with limited resources.
- 💤Quiet2607.21579·Jul 23, 2026·~9 minmath.OCcs.AIcs.LG
Barzilai-Borwein Fails Superlinear Convergence on an Open Set of Quadratics for Every Dimension $n\geq 4$
Dawei Li, Xiaotian Jiang, Mingyi Hong
⭐ 0 stars / 0 repos📚 0 citesELI5A popular optimization method called Barzilai-Borwein, widely used in machine learning, doesn't always converge as fast as people thought. Researchers found specific problem setups where it gets stuck at a geometric (linear) pace and provably never speeds up.
Problem solvedBB is used in practice because it's fast, but theorists debated whether it always eventually accelerates (converges superlinearly). This paper closes that debate: it doesn't, which means practitioners need realistic expectations about when BB will hit a speed limit.
- 💤Quiet2607.21517·Jul 23, 2026·~7 mincs.ITcs.AIcs.DM
Improved lower bounds for the Shannon capacity of odd cycles
Nathaniel Itty, Christopher D. Rosin, Chase Carstensen, Daniel Reichman
⭐ 0 stars / 0 repos📚 0 citesELI5Researchers used an AI chatbot to help find better lower bounds for the Shannon capacity of odd cycles—a graph theory problem about how much information you can reliably send through a noisy channel. They discovered larger independent sets in complex graph structures than anyone had found before.
Problem solvedComputing Shannon capacity for odd cycles has been an open problem for decades. Previous bounds were loose, and finding explicit constructions is tedious manual work. This shows LLMs can accelerate discovery of combinatorial structures that mathematicians struggle to find by hand.
- 💤Quiet2607.21354·Jul 23, 2026·~14 mincs.AI
SPORD: A Simulation-Propose-then-OR-Dispose Approach for Supply Chain Planning
Jiayin He, Yutong Pan, Sen Yang, Ningxuan Kang, +4
⭐ 0 stars / 0 repos📚 0 citesELI5A system that uses fast computer simulations to generate realistic supply chain solutions, then uses math optimization to pick the best one—letting warehouse managers see how solutions actually work before committing to them.
Problem solvedSupply chain planners at large e-commerce companies waste weeks rebuilding custom models for each planning task, can't solve problems with millions of SKUs fast enough, and can't get executives to trust recommendations. This system makes planning reusable, fast, and transparent.