Optimality

Recent momentum

-80%

3 papers in the last 28 days · 0.1% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

3 new papers

A weekly snapshot of new work published in Optimality.

Period ending 2026-09-14

3 new papers

A weekly snapshot of new work published in Optimality.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Optimality.

73 papers

Latest in Optimality

Open your feed →
CardsList
  1. Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study

    Aug 5, 2026Ahmed Ryan, Md Erfan, Akond Ashfaque Ur Rahman +1TheoremProof

  2. Finding Optimal Cost-Bounded Plan Reductions: Refined Model

    Jul 28, 2026Martha Del Toro, Raquel Fuentetaja, Angel García-OlayaClassical PlanningMixed-Integer Programming

  3. Semidefinite Relaxations for Collision-Free Motion Planning

    Jun 12, 2026Bernhard Paus Graesdal, Alexandre Amice, Pablo A. Parrilo +1Collision-Free TrajectoriesSemidefinite Programming

  4. Approaching I/O-optimality for Approximate Attention

    May 22, 2026Pál András Papp, Aleksandros Sobczyk, Anastasios ZouziasQuadratic AttentionMatrix Multiplication

  5. Almost-Orthogonality in Lp Spaces: A Case Study with Grok

    May 6, 2026Ziang Chen, Jaume de Dios Pont, Paata Ivanisvili +2InequalitiesSpectral Norm