@misc{indiciaef8f2418b8792,
  title = {Exploring RL-based LLM Training for Formal Language Tasks with Programmed Rewards},
  author = {Alexander G. Padula and Dennis J. N. J. Soemers},
  year = {2024},
  url = {https://arxiv.org/abs/2410.17126},
  note = {Source identifier: 2410.17126}
}