|
Workshop
|
Sat 15:45
|
Formal Analysis and Unification of Generalization in Deep Reinforcement Learning
Ezgi Korkmaz
|
|
|
Poster
|
Fri 16:30
|
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Huaiyuan Ying · Zijian Wu · Yihan Geng · JIayu Wang · Dahua Lin · Kai Chen
|
|
|
Workshop
|
|
CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
Cristian Curaba · D'Ambrosi Denis · Alessandro Minisini
|
|
|
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
|
|
|
Expo Talk Panel
|
Tue 8:30
|
AI Verification & Validation: Trends, Applications, and Challenges
Lucas Garcia · Darren Cofer
|
|
|
Workshop
|
|
Probabilistic Proof State Compression: Optimizing LLM-Guided Formal Verification
Noor Rahim · Ali Rahim
|
|
|
Workshop
|
|
Verification methods for international AI agreements
Akash Wasil · Thomas Reed · Jack Miller · Peter Barnett
|
|
|
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
|
|
|
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
|
|
