A Domain-Specific Harness for End-to-End Automation of Optimization Research | Paper Citation Record

Observation d1c5f144-3aba-4ecf-ac86-dc0bf8dddb34 · outbound

This paper cites Agent Skills overview, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Agent Skills overview, 2026

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.252762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f41aed2-bf18-4a9f-8dcc-6dce46065501 · outbound

This paper cites Altschuler and Pablo A.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Altschuler and Pablo A

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.270137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86fb4919-0e62-4d2c-ad47-55bd0085289a · outbound

This paper cites Altschuler and Pablo A.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Altschuler and Pablo A

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.279048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecb26756-24f7-4799-b221-b23a6d30de21 · outbound

This paper cites Stepsize Hedging: an Alternative Mechanism for Accelerating Gradient Descent.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Stepsize Hedging: an Alternative Mechanism for Accelerating Gradient Descent

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.293415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f872693-aef2-4f2e-b4d4-e57c9aef587b · outbound

This paper cites Claude Code overview, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Claude Code overview, 2026

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.299191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 305c71bb-fe80-46e8-bc4f-4752c8477da7 · outbound

This paper cites Extend Claude with skills, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Extend Claude with skills, 2026

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.304744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8709d4a6-387e-48e9-82d3-49cbba6dcaac · outbound

This paper cites Artelys Knitro, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Artelys Knitro, 2026

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.309790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5617d5e6-be0a-4308-b8e3-e1c381ebb880 · outbound

This paper cites Accurate prediction of protein structures and interactions using a three-track neural network.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Accurate prediction of protein structures and interactions using a three-track neural network

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.315259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9849f388-076b-49be-b2db-5ac315fe21c2 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.321570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44945713-610d-4fe0-97a6-adcc0708103d · outbound

This paper cites Byrd, Jorge Nocedal, and Richard A.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Byrd, Jorge Nocedal, and Richard A

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.327230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 608e80dd-34f1-4867-9f2f-39526a9a6a1f · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.414005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 822376f1-af62-4ac4-82e2-891224be0fe4 · outbound

This paper cites Ipopt license, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Ipopt license, 2026

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.339994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e04dffb3-5d8c-4e5b-8628-567319bcdbca · outbound

This paper cites Research highlight: A tutorial on branch-and-bound performance estimation programming.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Research highlight: A tutorial on branch-and-bound performance estimation programming

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.345512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e967c88a-952c-41b2-93c0-fe3066d915a4 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.385269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 624eeca8-76d3-4ed9-a472-d017cd5c5e96 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.356452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac123ba9-fde6-40c1-864d-df5ca5667d0c · outbound

This paper cites The Lean 4 theorem prover and programming language.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The Lean 4 theorem prover and programming language

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.364933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e64f4d9-3b6d-478f-a914-76395b04161a · outbound

This paper cites The exact information-based complexity of smooth convex minimization.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The exact information-based complexity of smooth convex minimization

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.370681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dceac7bd-1d2f-4a76-a449-4a8823980f1f · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.377126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 887ccd44-1e5a-4e8e-8294-2de2c93b3e0e · outbound

This paper cites Performance of first-order methods for smooth convex min- imization: A novel approach.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Performance of first-order methods for smooth convex min- imization: A novel approach

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.382302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5114713c-bdea-49d4-b337-f9e5a1bc0894 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.387159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dfe90cb-1618-43c2-ba21-ee687079d4e1 · outbound

This paper cites Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung, Joonkyung Lee, Carlo Pagano, Sang-hyun Kim, Federico Pasqualotto, Sergei Gukov, Jonathan N.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung, Joonkyung Lee, Carlo Pagano, Sang-hyun Kim, Federico Pasqualotto, Sergei Gukov, Jonathan N

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.392330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12686214-48b6-4ded-b12f-8470f5a58827 · outbound

This paper cites Hendrickx, Adrien B.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Hendrickx, Adrien B

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.397188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d181fd9f-3a49-424b-b1b2-074da785ade2 · outbound

This paper cites Provably faster gradient descent via long steps.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Provably faster gradient descent via long steps

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.402940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 779fed3e-981a-44bf-b7d8-1b529a7bccc9 · outbound

This paper cites Gurobi academic licenses, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Gurobi academic licenses, 2026

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.408513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13c58cb8-5fa3-4e52-bae9-4a85b0ecec2a · outbound

This paper cites Gurobi Optimizer Reference Manual, version 13.0, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Gurobi Optimizer Reference Manual, version 13.0, 2026

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.413988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf0a26ec-6496-4719-841b-72343e980289 · outbound

This paper cites Horn and Charles R.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Horn and Charles R

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.419565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bee8442-1f6b-4c92-93fe-d34d7ee51971 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.426366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b22c8444-ff2b-4300-9b3e-976cd9915198 · outbound

This paper cites Highly accurate protein structure prediction with AlphaFold.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Highly accurate protein structure prediction with AlphaFold

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.431438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6629fcd-a09e-4e7e-a90b-285f80d02cf5 · outbound

This paper cites Closing the Oracle-Complexity Gap in Derivative-Free Convex Optimization: A Near-Quadratic Lower Bound from Exact Function Values.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Closing the Oracle-Complexity Gap in Derivative-Free Convex Optimization: A Near-Quadratic Lower Bound from Exact Function Values

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:34:51.098902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8491a958-f736-40e1-9057-b7f0b5529efc · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.185639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ebf6322d-922c-4428-b11c-7915b789d097 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.448170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb4520f5-90e1-4d9e-8023-fc08705be2e8 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.143865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4c97a046-02f7-494e-b1ae-8bec7f71967c · outbound

This paper cites Mirror Duality in Convex Optimization.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Mirror Duality in Convex Optimization

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.459732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce4dfece-8bf9-45f3-825f-5d47ce025313 · outbound

This paper cites The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.465777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bcc4d94-9305-4bdc-b408-9c6af88f5ed0 · outbound

This paper cites Towards end-to-end automation of AI research.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Towards end-to-end automation of AI research

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.472589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b89d3f5-dac1-4df4-bd88-74e21b0849c3 · outbound

This paper cites JuMP 1.0: Recent improvements to a modeling language for math- ematical optimization.

A Domain-Specific Harness for End-to-End Automation of Optimization Research JuMP 1.0: Recent improvements to a modeling language for math- ematical optimization

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.481883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f19b5ec-867d-42b8-8952-3372340ad022 · outbound

This paper cites Convergence of BDRS as a matrix scaling algorithm.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Convergence of BDRS as a matrix scaling algorithm

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:52.065769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b7d6fd2a-9aeb-40f2-b439-9d6e0f0373e2 · outbound

This paper cites MOSEK academic licenses, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research MOSEK academic licenses, 2026

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:52.045185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 03c15008-8e21-4d27-9e21-2fb33b19c9ad · outbound

This paper cites The MOSEK optimizer API for Julia 11.2.2, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The MOSEK optimizer API for Julia 11.2.2, 2026

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:52.010978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f93edba6-508a-4263-8d54-baf9d02dd916 · outbound

This paper cites Nemirovsky.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Nemirovsky

Reference 40

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.075873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 93083da7-025b-4a3b-a09c-685433ecb0c8 · outbound

This paper cites Nemirovsky.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Nemirovsky

Reference 41

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.054738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 16b4b8d5-4a64-45de-a4d2-ac20db9723c8 · outbound

This paper cites Nemirovsky and David B.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Nemirovsky and David B

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.987729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d1654861-d9ac-4695-bb15-3e6f7d409378 · outbound

This paper cites A method of solving a convex programming problem with convergence rate O(1/k2).

A Domain-Specific Harness for End-to-End Automation of Optimization Research A method of solving a convex programming problem with convergence rate O(1/k2)

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.966065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d1575f0a-5a5b-44aa-ad8a-86827770d74f · outbound

This paper cites Primal-dual accelerated gradient methods with small-dimensional relaxation oracle.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Primal-dual accelerated gradient methods with small-dimensional relaxation oracle

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.554039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fcde90d-02b5-45cf-8adc-1ba4acf9dba3 · outbound

This paper cites Hermes Agent, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Hermes Agent, 2026

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.943374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 441f439a-d71b-4813-90a8-e29e5842ec9f · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

A Domain-Specific Harness for End-to-End Automation of Optimization Research AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.576825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8a6b0ec-47b8-42ad-b297-d803dc8d1233 · outbound

This paper cites Introducing ChatGPT Pro, 2024.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Introducing ChatGPT Pro, 2024

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.925574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 01b16f5c-3d8c-4ef4-8ff9-6df58360aa0d · outbound

This paper cites Build skills, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Build skills, 2026

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.902527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2c000104-d48b-409e-820e-cd125463ee50 · outbound

This paper cites Codex CLI, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Codex CLI, 2026

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.874446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 32c1555a-e45f-4ca5-b844-c924779e66bf · outbound

This paper cites GPT-5.6: Frontier intelligence that scales with your ambition, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research GPT-5.6: Frontier intelligence that scales with your ambition, 2026

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.852095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f48ac5e1-d1e9-49bf-a497-1447b3903a0a · outbound

This paper cites Introducing GPT-5.5, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Introducing GPT-5.5, 2026

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.832318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d2a20040-500b-411c-a638-3eaccc65c383 · outbound

This paper cites Ten advances in mathematics and theoretical computer science, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Ten advances in mathematics and theoretical computer science, 2026

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.807334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9a707535-fa23-49fa-8c06-e9e98fef6c8a · outbound

This paper cites OpenClaw docs, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research OpenClaw docs, 2026

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.780889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 73562f72-a1f4-49c5-a3d0-4f21298a77ce · outbound

This paper cites OpenCode: The open source AI coding agent, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research OpenCode: The open source AI coding agent, 2026

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.758469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 47d43e76-2fc5-4321-b5b8-b3f4fc1e3db8 · outbound

This paper cites Pawan Kumar, Emilien Dupont, Francisco J.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Pawan Kumar, Emilien Dupont, Francisco J

Reference 55

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T14:34:51.739566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5c265078-9ead-49e1-9151-19fe4427ead6 · outbound

This paper cites Hendrickx.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Hendrickx

Reference 56

Resolution: verified exact; doi, observed 2026-08-15T14:34:50.035177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 51a98ea2-21bf-4306-8723-93465334b0c1 · outbound

This paper cites A constructive approach to strengthen algebraic descriptions of function and operator classes.

A Domain-Specific Harness for End-to-End Automation of Optimization Research A constructive approach to strengthen algebraic descriptions of function and operator classes

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.661433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b7bc3af-558d-4007-82b1-d20935bc8f6b · outbound

This paper cites Suh, Gyumin Roh, and Ernest K.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Suh, Gyumin Roh, and Ernest K

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.714829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6c8aef40-325b-4227-a3f2-de3aadba048d · outbound

This paper cites Suh, TaeHo Yoon, Edward D.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Suh, TaeHo Yoon, Edward D

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.691747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 94bcd95f-3143-48e3-ba65-295c4f60fb6e · outbound

This paper cites An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent.

A Domain-Specific Harness for End-to-End Automation of Optimization Research An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.680755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 603c3da0-658f-47c6-930e-bddfeeb8478a · outbound

This paper cites Bulaong, John E.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Bulaong, John E

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.693836Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ce52d8-04ee-45ac-8e28-c1ce95e220eb · outbound

This paper cites Taylor and Yoel Drori.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Taylor and Yoel Drori

Reference 62

Resolution: verified exact; doi, observed 2026-08-15T14:34:49.988268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 36bdb2a5-21a8-4d86-a6de-c462f538d41b · outbound

This paper cites Taylor, Julien M.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Taylor, Julien M

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.705473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce9b4217-c33f-4713-8138-74eeb659ecfb · outbound

This paper cites Taylor, Julien M.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Taylor, Julien M

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.710696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04ccc1b5-b2b1-4767-81b6-a20f80f7447c · outbound

This paper cites Taylor, Julien M.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Taylor, Julien M

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.715960Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa25ff21-1edc-4aba-af1f-769705b86aaf · outbound

This paper cites The Lean mathematical library.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The Lean mathematical library

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.721457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e7b072a-9a6d-473e-9122-8e3beba39bca · outbound

This paper cites Advancing mathematics research with AI-driven formal proof search,.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Advancing mathematics research with AI-driven formal proof search,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.656755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a59b147c-9559-445e-8b01-94fdb2db0e2b · outbound

This paper cites An optimal first-order method for smooth and strongly convex composite optimization and its stationary limit.

A Domain-Specific Harness for End-to-End Automation of Optimization Research An optimal first-order method for smooth and strongly convex composite optimization and its stationary limit

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.732621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8410dd3-6df0-4f25-8191-d1d11acead50 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.737863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cab584f3-cc0e-4ce4-abd4-b79566da9154 · outbound

This paper cites Elliptic functions and transcendence.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Elliptic functions and transcendence

Reference 70

Resolution: verified exact; doi, observed 2026-08-15T14:34:49.913396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e2ff122b-006e-463e-b87c-71ae2d799926 · outbound

This paper cites A Theory of Composition and Duality of Extremal Optimal Fixed-Point Algorithms.

A Domain-Specific Harness for End-to-End Automation of Optimization Research A Theory of Composition and Duality of Extremal Optimal Fixed-Point Algorithms

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.748760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f25dcf0-2464-445c-826c-98ab50cc7640 · outbound

This paper cites Suh, and Ernest K.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Suh, and Ernest K

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.630712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5c40e5b3-5cd9-421e-8684-8129e3f4bb8a · outbound

This paper cites H-invariance theory: A complete characterization of minimax optimal fixed-point algorithms.

A Domain-Specific Harness for End-to-End Automation of Optimization Research H-invariance theory: A complete characterization of minimax optimal fixed-point algorithms

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.758962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 361a08e7-2a42-4605-84d5-6570a8ee3b96 · outbound

This paper cites The agentic researcher: A practical guide to AI-assisted research in mathematics and machine learning, 2026.

A Domain-Specific Harness for End-to-End Automation of Optimization Research The agentic researcher: A practical guide to AI-assisted research in mathematics and machine learning, 2026

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.764863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea28e2bf-19a4-4c06-9e6b-f9671f428641 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 76

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.599104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f87ddc72-775c-4aec-bdec-43502358ebab · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 77

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.572743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 12ee87e8-c2a5-4c97-b8e6-26dcf4333327 · outbound

This paper cites For the induction step, assume (ΩN,fΦk(ΩN )g) is admissible for horizon N.

A Domain-Specific Harness for End-to-End Automation of Optimization Research For the induction step, assume (ΩN,fΦk(ΩN )g) is admissible for horizon N

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.546817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation afaed564-2e63-44a4-90af-ca676c49c449 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.520476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 03688c83-630e-42a7-9d82-9f487f1a9c03 · outbound

This paper cites , computing Φk+1(Ω) = FΩ (Φk(Ω)) whenever Φk(Ω) 1/Ω.

A Domain-Specific Harness for End-to-End Automation of Optimization Research , computing Φk+1(Ω) = FΩ (Φk(Ω)) whenever Φk(Ω) 1/Ω

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.499537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dc93001e-624a-4f7b-98b8-9535f999d731 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 81

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.472710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 33d6fe7a-50d8-482d-9fa4-b50814958487 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.445286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 50f8d0a3-4f2c-4a41-bb0b-1cbc57dbeae6 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.418243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 04b8e2dd-b257-4415-9fd4-ee5fd2a16855 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.396351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fa1babbf-51ef-48a4-8679-754fef3efefc · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 85

Resolution: parse uncertain; raw_fallback, observed 2026-08-15T14:34:51.372365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9b6eb976-82e3-48dd-8906-835e760a8ff6 · outbound

This paper cites T , we substitute Z =σ3 ˙X/4 and expand the two squared norms in ( 36) to expose the cancellation between potentially singular terms as t.

A Domain-Specific Harness for End-to-End Automation of Optimization Research T , we substitute Z =σ3 ˙X/4 and expand the two squared norms in ( 36) to expose the cancellation between potentially singular terms as t

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:34:51.354172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1b5d3b24-6764-491b-9e75-47e4c7f04459 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.336679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c047e3e5-2944-4ace-adeb-4410265b59d0 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.317957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2a3976ea-19c9-46d5-8f68-51c251bc2f0b · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:34:51.296605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 73c57395-f4c2-4d23-983d-dc5acf9906c2 · outbound

This paper cites an unresolved cited work.

A Domain-Specific Harness for End-to-End Automation of Optimization Research Unresolved cited work

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-15T14:34:49.286705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers