@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. ...}
}