Reverse Dependencies of auto-LiRPA

The following projects have a declared dependency on auto-LiRPA:

• nfl-veripy — Formal verification of neural feedback loops (NFLs)