TY - RPRT TI - Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning AU - Zhaoqi Wang AU - Daqing He AU - Zijian Zhang AU - Xin Li AU - Liehuang Zhu AU - Meng Li AU - Jiamou Liu PY - 2025 UR - https://arxiv.org/abs/2509.23558 ID - 2509.23558 ER -