Verification Task
Verification tasks in various fields aim to ensure the accuracy, reliability, and trustworthiness of systems and models. Current research focuses on developing robust verification methods across diverse domains, including image and document analysis (using recurrent and transformer-based models), logical reasoning (employing LLMs and symbolic methods), and autonomous systems (leveraging formal methods and data-driven approaches). These advancements are crucial for enhancing the safety and dependability of AI systems, robotic applications, and other technologies where reliable performance is paramount.
Papers
DnDScore: Decontextualization and Decomposition for Factuality Verification in Long-Form Text Generation
Miriam Wanner, Benjamin Van Durme, Mark Dredze
RAG-Star: Enhancing Deliberative Reasoning with Retrieval Augmented Verification and Refinement
Jinhao Jiang, Jiayi Chen, Junyi Li, Ruiyang Ren, Shijie Wang, Wayne Xin Zhao, Yang Song, Tao Zhang
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
IMPROVE: Improving Medical Plausibility without Reliance on HumanValidation -- An Enhanced Prototype-Guided Diffusion Framework
Anurag Shandilya, Swapnil Bhat, Akshat Gautam, Subhash Yadav, Siddharth Bhatt, Deval Mehta, Kshitij Jadhav
Neural network modelling of kinematic and dynamic features for signature verification
Moises Diaz, Miguel A. Ferrer, Jose Juan Quintana, Adam Wolniakowski, Roman Trochimczuk, Konstantsin Miatliuk, Giovanna Castellano, Gennaro Vessio
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti
Verification of Behavior Trees with Contingency Monitors
Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibanez-Guzman, Brian Logan, Joanna I. Olszewska, Signe Redfield