🔬
視覺語言模型臨床推理的正式驗證
新論文提出驗證層，用於 VLM 放射學模型，數學證明診斷主張並防止幻覺。經測試模型驗證後健全性達 99%。目標打造臨床用可驗證正確 AI。
Search
Tag: #formal-verification43 results
以數學方法證明 NHL 季後賽晉級情境
AWS Generative AI Innovation Center 開發了一套自動化系統，用於精確判定 NHL 球隊何時以及如何取得季後賽席位。該系統結合限制式程式設計與自訂樹狀搜尋，並以四個完整 NHL 賽季的官方結果進行驗證。
FormalJudge Ensures Agent Safety
FormalJudge uses neuro-symbolic bidirectional reasoning to translate intents into verifiable specs. It employs Dafny and Z3 for mathematical guarantees over probabilistic judging. Achieves 16.6% gains and detects deception effectively.