On Learning Polynomial Recursive Programs. - Alex Buna-Marginean; Vincent Cheval; Mahsa Shirmohammadi; James Worrell 001 (Proc. ACM Program. Lang., 2024)