TY  - RPRT
TI  - AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
AU  - Mert Ünsal
AU  - Timon Gehr
AU  - Martin Vechev
PY  - 2024
UR  - https://arxiv.org/abs/2410.02666
ID  - 2410.02666
ER  -