LongTails

Details on GitHub

Discovering new results in mathematical optimization

All theoremsTheorems with ★★★

Sorted by contribution* (★★★ → ★★ → ★) *Codex/Claude Code evaluation. See the reviews.

No setups match your search.

← All setups

Shared definitions

The oracle framework

Every setup uses the same definitions of an algorithm, an oracle, and convergence.

Source: LongTails/Setups · Descriptions summarize the specifications; the Lean source gives the full assumptions. Listing a setup does not assert a convergence result.