{ "title": "Upper-Linearizability of Online Non-Monotone DR-Submodular Maximization over Down-Closed Convex Sets", "orid": "NHWsF72zPP", "space_id": "neonforestmist/upper-linearizability-dr-submodular-repro", "forecast": "10/10", "repair": "claim-faithful-v3", "repaired_at": "2026-07-27T19:09:16.122974+00:00", "pages": [ "01-non-monotone-dr-submodular-functions-down-closed", "02-bqnd-algorithm-algorithm-reduces-online", "03-bqnd-obtains-static-regret-oracle", "04-establishes-dynamic-regret-bound-path", "05-bandit-feedback-model-framework-regret", "conclusion" ], "artifacts": [ "evidence/claim_1.json", "evidence/claim_2.json", "evidence/claim_3.json", "evidence/claim_4.json", "evidence/claim_5.json" ], "cpu_only": true }