Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning

Re-assign community