【发布时间】：2021-12-04 20:49:24
【问题描述】：
我想知道是否有任何用于张量（或多维数组）操作的 smt 理论。 例如，这样的理论可能包括转置、插入、重塑、选择等运算符（如在 numpy 或 tensorflow 中）
【问题讨论】：
标签： logic linear-algebra numpy-ndarray tensor smt
【发布时间】：2021-12-04 20:49:24
【问题描述】：
假设 SMT 的意思是“可满足性模理论”。
也许不适用于任意神经网络；但是 ReLU 过去已经使用基于 SMT 的技术进行了“验证”。我在引号中使用了“已验证”这个词，因为虽然有一些基于稳定性的标准，但并不完全清楚神经网络一开始是正确的意味着什么。
有关这方面的（相对）最近的几篇论文，请参阅：
【讨论】：