Loading...
標記為「guarantees」的 2 篇文章
針對 LLM 的可認證對抗性穩健性研究,包括理論邊界與實務認證方法。
研究用於驗證注入防禦性質、並為防禦有效性提供數學保證的形式化方法。