Sort by
Refine Your Search
-
of watermarks from the Austrian National Library (ÖNB); Verification of collected data and preparation for publication on the project website; Linking of project data on the website with other databases; Writing
-
neural networks under symmetry constraints, their optimization dynamics, and their generalization behavior—particularly in low-data or out-of-distribution settings. The work combines formal theoretical
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions