firstbacksecondback
22 Results
|
Poster
|
Fri 11:00 |
Critically Assessing the State of the Art in Neural Network Verification Matthias König · Annelot W. Bosman · Holger H. Hoos · Jan N. Van Rijn |
|
|
Expo Talk Panel
|
Tue 8:30 |
AI Verification & Validation: Trends, Applications, and Challenges Lucas Garcia · Darren Cofer |
|
|
Poster
|
NN4SysBench: Characterizing Neural Network Verification for Computer Systems Shuyi Lin · Haoyu He · Tianhao WEI · Kaidi Xu · Huan Zhang · Gagandeep Singh · Changliu Liu · Cheng Tan |
||
|
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 |
||
|
Poster
|
Wed 16:30 |
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang · Zhizhen Qin · Sicun Gao · Andrew Clark |
|
|
Poster
|
Wed 11:00 |
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes Duo Zhou · Christopher Brix · Grani A. Hanasusanto · Huan Zhang |
|
|
Poster
|
Wed 16:30 |
Relational Verification Leaps Forward with RABBit Tarun Suresh · Debangshu Banerjee · Gagandeep Singh |
|
|
Poster
|
Wed 11:00 |
ZeroMark: Towards Dataset Ownership Verification without Disclosing Watermark Junfeng Guo · Yiming Li · Ruibo Chen · Yihan Wu · chenxi liu · Heng Huang |
|
|
Workshop
|
TARGET: Benchmarking Table Retrieval for Generative Tasks Xingyu Ji · Aditya Parameswaran · Madelon Hulsebos |
||
|
Workshop
|
A Comparative Study of Translation Bias and Accuracy in Multilingual Large Language Models for Cross-Language Claim Verification Aryan Singhal · Veronica Shao · Gary Sun · Ryan Ding |
||
|
Workshop
|
vTune: Verifiable Fine-Tuning Through Backdooring Eva Zhang · Akilesh Potti · Micah Goldblum |
||
|
Workshop
|
Sat 15:45 |
vTune: Verifiable fine-tuning Through Backdooring Eva Zhang · Akilesh Potti · Micah Goldblum |