[VNN-COMP'25] Participant Text by Sept. 1, 2025

4 views

Skip to first unread message

Andrew Wu

unread,

Aug 11, 2025, 1:33:52 PM8/11/25

to taylor....@vanderbilt.edu, Stanley Bak, kau...@aim.rwth-aachen.de, lukas....@tum.de, tobias...@tum.de, br...@cs.rwth-aachen.de, thomas....@mu.ie, edoardo...@manchester.ac.uk, Hai Van Duong, Thanhvu H Nguyen

Dear all,

Thank you again for participating in VNN-COMP 2025. We are now preparing a draft of the VNN-COMP 2025 report to be posted to arXiv.

To help us complete it, please:

1. Contribute text for your tool and/or benchmark by Monday, September 1, 2025.

2. Review the rest of the document for accuracy and completeness as we finalize it.

The Overleaf link to the current draft is here:

https://www.overleaf.com/4731569512prbbckmrymwq#907ec5

We will update the results, participant lists, and other sections in the meantime. Our goal is to post the report to arXiv in September, with the option to make updates afterward if needed.

Thank you for your contributions and support.

Best regards,
The VNN-COMP 2025 Organizers

Reply all

Reply to author

Forward

0 new messages