# Upper-Linearizability of Online Non-Monotone DR-Submodular Maximization over Down-Closed Convex Sets

ORID `NHWsF72zPP` · **claim-faithful** repair 2026-07-27T19:09:16.122698+00:00

Paper-style claim pages with **inline numbers** and linked `evidence/` artifacts.

## Claims

- [Claim 1: 01-non-monotone-dr-submodular-functions-down-closed](./01-non-monotone-dr-submodular-functions-down-closed/) — VERIFIED (2/2)
- [Claim 2: 02-bqnd-algorithm-algorithm-reduces-online](./02-bqnd-algorithm-algorithm-reduces-online/) — VERIFIED (2/2)
- [Claim 3: 03-bqnd-obtains-static-regret-oracle](./03-bqnd-obtains-static-regret-oracle/) — VERIFIED (2/2)
- [Claim 4: 04-establishes-dynamic-regret-bound-path](./04-establishes-dynamic-regret-bound-path/) — VERIFIED (2/2)
- [Claim 5: 05-bandit-feedback-model-framework-regret](./05-bandit-feedback-model-framework-regret/) — VERIFIED (2/2)
- [Conclusion](./conclusion/)

## Artifacts

- [`evidence/claim_1.json`](../evidence/claim_1.json)
- [`evidence/claim_2.json`](../evidence/claim_2.json)
- [`evidence/claim_3.json`](../evidence/claim_3.json)
- [`evidence/claim_4.json`](../evidence/claim_4.json)
- [`evidence/claim_5.json`](../evidence/claim_5.json)