Sumathi Gokulanathan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Formal Verification

Back Propagation

Neural Network Model

Top Venues

Publications

Zain Ul Abideen, Sumathi Gokulanathan, Muayad J. Aljafar, Samuel Pagliarini
An Overview of FPGA-inspired Obfuscation Techniques. CoRR (2023)
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
Simplifying Neural Networks Using Formal Verification. NFM (2020)
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
Simplifying Neural Networks with the Marabou Verification Engine. CoRR (2019)