@misc{indiciae50c8079b2bc6, title = {Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning}, author = {Zhaoqi Wang and Daqing He and Zijian Zhang and Xin Li and Liehuang Zhu and Meng Li and Jiamou Liu}, year = {2025}, url = {https://arxiv.org/abs/2509.23558}, note = {Source identifier: 2509.23558} }