Program Verification to Defend Chain-of-Thought Attacks for LLM Services.

Shuo He, Jiawei Jiang, Hongbao Liu, Tao Tang

Browse the full ICWS paper archive.