CALT: A Library for Computer Algebra with Transformer. - Hiroshi Kera; Shun Arakawa; Yuta Sato (CoRR, 2025)