semantic-faithful-control

本文形式化了在共享嵌入序列模型中完美防范提示注入的不可能性，证明没有管内机制能够保证语义忠实控制，原因是指令与数据的表示不可分离，类似于冯·诺依曼架构中的代码-数据混淆。