TY  - RPRT
TI  - Exploring RL-based LLM Training for Formal Language Tasks with Programmed Rewards
AU  - Alexander G. Padula
AU  - Dennis J. N. J. Soemers
PY  - 2024
UR  - https://arxiv.org/abs/2410.17126
ID  - 2410.17126
ER  -