@misc{indiciae8f39118f3059,
  title = {A First Introduction to Isabelle/ML Metaprogramming: Automatic Estimation of Polynomial Degrees},
  author = {Jonas Bayer and Anna Danilkin and Marco David and Annie Yao},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08359},
  note = {Source identifier: 2610.08359}
}