paper_id	claim	claim_status	evidence_status	source_depth	source_quote	page_or_section	taxonomy_fit	audit_status
2207.11719v4	Bi-level optimization embeds one problem within another and the gradient-based category solves the outer-level task by computing the hypergradient, which is much more efficient than classical methods such as the evolutionary algorithm.	supported	has evidence row	full-text	Bi-level optimization embeds one problem within another and the gradient-based category solves the outer-level task by computing the hypergradient, which is much more ef- ficientthanclassicalmethodssuchastheevolutionaryalgorithm.	abstract	in-scope: LLM extractor confirmed direction match	needs work; full-text verified; report=audit_report.md
2006.11560v1	We introduce Bion, a new exact method combining ML and traditional COP solving to estimate close boundaries of the objective variable and to exploit these boundaries for boosting the solving process.	preliminary-linked	has evidence row	full-text	an experimental evaluation over seven realistic COPs shows that an estimation model can be trained to prune the objective variables domain s by over 80%.	2	in-scope: LLM extractor confirmed direction match	needs work; filled but source-depth unclear; report=audit_report.md
1910.08476v2	We draw connections between DP and (constrained) convex optimization.	supported	has evidence row	full-text	W e also discuss briefly more connections between RL and optimization in Section 6. 2 Background 2.1 Markov Decision Processes We consider the problem of solving infinite horizon discount ed Markovian Decision Process (MDP).	Section 3	in-scope: LLM extractor confirmed direction match	needs work; full-text verified; report=audit_report.md
2602.13513v2	We propose the use of SINDy-based surrogates of the continuous-time dynamics of optimization	supported	has evidence row	full-text	Anecdotally, in Sec. 4.2, we present a high-dimensional problem and use K= 10 , as compared to the default history size for LBFGS K′= 100 [74].	1	in-scope: LLM extractor confirmed direction match	needs work; full-text verified; report=audit_report.md
2410.21886v1	The project’s purpose has been accomplished.	supported	has evidence row	full-text	the results were promising, as we automatically increased the accuracy by approximately 8%.	48	in-scope: LLM extractor confirmed direction match	needs work; full-text verified; report=audit_report.md