Loading...
標記為「formal-verification」的 2 篇文章
研究用於驗證注入防禦性質、並為防禦有效性提供數學保證的形式化方法。
套用formal verification methods to prove or disprove safety properties of LLM-based applications.