search

fbrausse / smlp

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

Refer to CAV-2024 paper #10

Open fbrausse opened 3 months ago

fbrausse commented 3 months ago

It's CAV 2024, Part I, LNCS 14681. We might want to wait until the final publication to have a proper reference including pager numbers, etc.