Using Z3 for Formal Modeling and Verification of FNN Global Robustness · HackerPapers discussions

Using Z3 for Formal Modeling and Verification of FNN Global Robustness — mentioned by thesmtsolver

Thu, 27 Nov 2025 18:26:20 GMT

It is really not that difficult. Here is a paper that formalizes a version of feed forward networks to prove properties about them. https://arxiv.org/pdf/2304.10558

Paper and discussion history. A mention is not an endorsement.

Using Z3 for Formal Modeling and Verification of FNN Global Robustness — mentioned by cscurmudgeon

Sat, 02 Dec 2023 19:09:00 GMT

> OLD old fashioned AI was still viable--they are not False. Theorem provers exist and are widely used, sometimes even in deep learning. https://arxiv.org/pdf/2304.10558.pdf

Paper and discussion history. A mention is not an endorsement.