Thu 21 May 2026 11:30 - 11:55 at 2F Auditorium - Session 2: Neural Networks Verification Chair(s): Mark van Wijk
Thu 21 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change
10:40 - 12:30 | Session 2: Neural Networks VerificationResearch Track at 2F Auditorium Chair(s): Mark van Wijk University of Twente | ||
10:40 25mTalk | Exact Verification of Graph Neural Networks with Incremental Constraint Solving Research Track Minghao Liu University of Oxford, Chia-Hsuan Lu University of Oxford, Marta Kwiatkowska University of Oxford | ||
11:05 25mTalk | Formal Reasoning About Confidence and Automated Verification of Neural Networks Research Track Mohammad Afzal TCS Research Pune and IIT Bombay India, S. Akshay Indian Institute of Technology, Bombay, India, Blaise Genest IPAL - CNRS - CNRS@CREATE, Ashutosh Gupta Indian Institute of Technology Bombay | ||
11:30 25mTalk | Mining Verdict Boundaries for Neural Network Verification Research Track Jiawei Ren University of New South Wales, Guanqin Zhang University of New South Wales, Sydney, Zhenya Zhang Kyushu University, Yulei Sui University of New South Wales | ||
11:55 25mTalk | SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving Research Track Minrui Chen Kyushu University, Huidong Jiang Institute of Science Tokyo, Hiroto Saigo Kyushu University | ||