TY  - RPRT
TI  - A First Introduction to Isabelle/ML Metaprogramming: Automatic Estimation of Polynomial Degrees
AU  - Jonas Bayer
AU  - Anna Danilkin
AU  - Marco David
AU  - Annie Yao
PY  - 2026
UR  - https://arxiv.org/abs/2610.08359
ID  - 2610.08359
ER  -