@entry{pen-22-aa, author = {Y Peng}, title = {Automate convergence rate proof for gradient descent on quadratic functions}, journal = {}, volume = {}, number = {}, pages = {}, year = 2022, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://www.cs.ubc.ca/~yanpeng/papers/CPSC540-report.pdf}}}, quotes = {... Their work on representing affine arithmetic fall into similar category of our work. But again, the kind of problems and properties are quite different. ...} }