@misc{indiciae25c967ac2993,
  title = {AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs},
  author = {Mert Ünsal and Timon Gehr and Martin Vechev},
  year = {2024},
  url = {https://arxiv.org/abs/2410.02666},
  note = {Source identifier: 2410.02666}
}