@misc{indiciae851734af5062,
  title = {Finding Simple Proofs for First-Order Optimization},
  author = {Daniel Berg Thomsen and Manu Upadhyaya and Baptiste Goujaud and Aymeric Dieuleveut and Adrien Taylor},
  year = {2026},
  url = {https://arxiv.org/abs/2607.08753},
  note = {Source identifier: 2607.08753}
}