search

fbrausse / smlp

Symbolic ML Prover
https://fbrausse.github.io/smlp/
Apache License 2.0
4 stars 1 forks source link

Opt #12

Closed NeelM47 closed 1 week ago

NeelM47 commented 1 week ago

The 'opt' branch has been created for optimization, focusing on benchmarking with fewer features and generating plots. The manual and benchmark PDF file will be uploaded shortly.