posted by user: sadegh_rk || 1013 views || tracked by 1 users: [display]

DAV 2023 : Deep Learning-aided Verification


When Jul 16, 2023 - Jul 16, 2023
Where Paris, France
Submission Deadline May 3, 2023
Notification Due May 17, 2023
Final Version Due May 24, 2023
Categories    deep learning   formal methods   logics

Call For Papers

Scope and Topics of Interest

Deep learning has become state-of-the-art for many human-like tasks, such as computer vision or translation. The persistent perception remains that deep neural networks cannot be applied in computer-aided verification tasks due to the complex symbolic reasoning involved. Recently, this perception has started to shift: massive leaps in architecural design enabled the successful application of deep neural networks to various formal reasoning and automatic verification tasks (Examples include SAT and QBF solving, higher-order theorem proving, LTL satisfiability and synthesis, symbolic differentiation, auto formalization, and termination analysis). The workshop on Deep Learning-aided Verification (DAV) aims to cover this unexplored research area in all its facets.

We cover the recent highlights and upcoming ideas in the intersection between computer-aided verification and deep learning research. The workshop provides a platform to bring together industry and academic researchers from both communities, attract and motivate young talent, and raise awareness of new technologies

Computer-aided verification research will benefit from developing hybrid algorithms that combine the best of both worlds (efficiency and correctness), and machine learning researchers will gain novel application domains to study architectures and a model's generalization and reasoning capabilities.

Topics of interest include, but are not limited to:

- deep learning heuristics for performance gains in automated verification domains, such as model checking, synthesis, theorem proving, or SAT/SMT solving
- deep learning guidance for software and hardware synthesis
- accessibility and explainability of verification and synthesis tools
- auto formalization of mathematics, logics, and formal specifications from informal natural language
- deep learning for end-to-end solving of verification tasks
- application of deep learning to runtime verification.

The workshop focuses on how to use deep learning in verification, not to verify neural networks.

People interested in contributing to this workshop are invited to contribute short talks.

DAV'23 welcomes the following submissions:

Extended Abstracts (up to 3 pages, excluding references and clearly marked appendices).

All submissions should be in the two-column sub-format of the ACM proceedings format. The review process is single-blind. Submissions will be judged on how interesting they are to the intersection of the deep learning and formal methods communities. Overlap with previously published work should be indicated, but does not disqualify a submission if the presentation can be expected to be of enough interest. Printouts of the extended abstracts will be handed out at the workshop.

Submissions will be accepted via open review. We start accepting submissions at the beginning of April.

Related Resources

AMLDS 2025   2025 International Conference on Advanced Machine Learning and Data Science
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
ICDM 2024   IEEE International Conference on Data Mining
CAV 2024   36th International Conference on Computer Aided Verification
ACML 2024   16th Asian Conference on Machine Learning
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
AIGC 2024   The 2nd International Conference on AI-generated Content
EMVL 2024   2nd International Conference on Embedded Systems and VLSI
EAIH 2024   Explainable AI for Health
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science