Pith. sign in

REVIEW 3 cited by

A Gauss-Seidel method for solving multi-leader-multi-follower games

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2404.02605 v2 pith:XKLGJNNB submitted 2024-04-03 math.OC

classification math.OC
keywords classdesignequilibriagamegamesmethodmixed-integersolving
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We design a computational approach to find equilibria in a class of Nash games possessing a hierarchical structure. By using tools from mixed-integer optimization and the characterization of variational equilibria in terms of the Karush-Kuhn-Tucker conditions, we propose a mixed-integer game formulation for solving this challenging class of problems. Besides providing an equivalent reformulation, we design a proximal Gauss--Seidel method with global convergence guarantees in case the game enjoys a potential structure. We finally corroborate the numerical performance of the algorithm on a novel instance of the ride-hail market problem.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. SWE-Router: Routing in Multi-turn Agentic Software Engineering Tasks

    cs.SE 2026-06 unverdicted novelty 6.0 of 10

    SWE-Router introduces trajectory-conditioned value-based routing for LLM agents on SWE tasks, with a Bayes-optimality theorem and empirical cost savings while retaining most strong-model performance.

  2. Breaking the Solver Bottleneck: Training Task Generators at the Learnable Frontier

    cs.LG 2026-06 unverdicted novelty 6.0 of 10

    PROPEL amortizes solver evaluation with a trained activation probe to optimize task generators toward a target solve rate, raising the share of learnable tasks from ~10% to ~20% in coding and SWE experiments.

  3. SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?

    cs.SE 2025-09 conditional novelty 6.0 of 10

    SWE-Bench Pro is a new benchmark with 1,865 long-horizon tasks from 41 repositories designed to evaluate AI agents on realistic enterprise-level software engineering problems beyond prior benchmarks.

Pith tools