firstbacksecondback
5 Results
|
Workshop
|
DafnyBench: A Benchmark for Formal Software Verification Chloe Loughridge · Qinyi Sun · Seth Ahrenbach · Federico Cassano · Chuyue (Livia) Sun · Ying Sheng · Anish Mudide · Md Rakib Hossain Misu · Nada Amin · Max Tegmark |
||
|
Workshop
|
CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Cristian Curaba · D'Ambrosi Denis · Alessandro Minisini |
||
|
Workshop
|
Probabilistic Proof State Compression: Optimizing LLM-Guided Formal Verification Noor Rahim · Ali Rahim |
||
|
Workshop
|
A Formal Framework for Assessing and Mitigating Emergent Security Risks in Generative AI Models: Bridging Theory and Dynamic Risk Mitigation aviral srivastava · Sourav Panda |
||
|
Poster
|
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin · Qingxing Cao · Yinya Huang · Haiming Wang · Jianqiao Lu · Zhengying Liu · Linqi Song · Xiaodan Liang |