Open jermp opened 9 months ago
Currently, the examples here https://github.com/LorenzoCazzaro/Verifiable-Learning-Robust-Tree-Ensembles/tree/master/src/carve point to some non-existing files. We should fix this.
See here https://github.com/LorenzoCazzaro/Verifiable_Learning/blob/main/verification/README.md (private repo) for some working examples.
Hi @LorenzoCazzaro, any news about this?
Currently, the examples here https://github.com/LorenzoCazzaro/Verifiable-Learning-Robust-Tree-Ensembles/tree/master/src/carve point to some non-existing files. We should fix this.
See here https://github.com/LorenzoCazzaro/Verifiable_Learning/blob/main/verification/README.md (private repo) for some working examples.