Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Feedback Request on Draft Paper - Global Neural Network Verification
17 views
Skip to first unread message
Roman Soletskyi
Sep 11, 2024, 6:53:52 PM9/11/24
to guarantee...@googlegroups.com
Dear all,
I’ve completed the draft of the paper on training neural networks with safety bounds - an approach that Davidad and I explored during MATS 5.0 and 5.1. The draft is attached below. Please keep it internal for now, but I plan to publish it on arXiv soon.
I’d appreciate any feedback you have! Specifically, are there any questions the paper raises for you, or any additional material you’d like to see included?
Looking forward to your thoughts.
Best regards,
Roman
I’ve completed the draft of the paper on training neural networks with safety bounds - an approach that Davidad and I explored during MATS 5.0 and 5.1. The draft is attached below. Please keep it internal for now, but I plan to publish it on arXiv soon.
I’d appreciate any feedback you have! Specifically, are there any questions the paper raises for you, or any additional material you’d like to see included?
Looking forward to your thoughts.
Best regards,
Roman
Reply all
Reply to author
Forward
0 new messages