search

NeVerTools / pyNeVer

A Python library for learning and verification of neural networks and other machine learning models
Other
9 stars 3 forks source link

Variable coefficients in property parser #20

Closed sdemarch closed 9 months ago

sdemarch commented 9 months ago

The parser fails if the following occurs:

... >= (* coef variable) ...

while the normal form is good

... <= (* coef variable) ...