Call for Papers - DAV 2024

Stream: Machine Learning for Theorem Proving

[Alex Sanchez-Stern]

Hey all,
If you're working on or interested in learning for verification, consider submitting to DAV 2024! Submissions are now open, due May 1st. The detailed Call for Papers can be found here: https://dav-workshop-2024.github.io/cfp.html
Hope to see you there!