|
Workshop
|
|
vTune: Verification of fine-tuning through backdooring
Eva Zhang · Akilesh Potti · Micah Goldblum
|
|
|
Workshop
|
|
CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
Cristian Curaba · D'Ambrosi Denis · Alessandro Minisini
|
|
|
Workshop
|
|
Verification methods for international AI agreements
Akash Wasil · Thomas Reed · Jack Miller · Peter Barnett
|
|
|
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
|
|
|
Workshop
|
|
Less is Enough: Adapting Pre-trained Vision Transformers for Audio-Visual Speaker Verification
Gnana Praveen Rajasekhar · MD JAHANGIR ALAM
|
|
|
Workshop
|
|
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning and Verification in Long-Horizon Generation
Zihao Wang · Anji Liu · Haowei Lin · Jiaqi Li · Xiaojian (Shawn) Ma · Yitao Liang
|
|
|
Workshop
|
|
Enhanced label noise robustness through early adaptive filtering for the self-supervised speaker verification task
Abderrahim Fathan · Xiaolin Zhu · MD JAHANGIR ALAM
|
|
|
Workshop
|
|
Shh, don't say that! Domain Certification in LLMs
Cornelius Emde · Preetham Arvind · Alasdair Paren · Maxime Kayser · Thomas Rainforth · Thomas Lukasiewicz · Philip Torr · Adel Bibi
|
|
|
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
|
|
