activity
20212026
most citedA Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2021

Static analysis of ReLU neural networks with tropical polyhedra

Eric Goubault, Sébastien Palumby, Sylvie Putot +2

This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…