Gautam Prakriya

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 9

Top Topics

Back Propagation

Geometric Constraints

Top Venues

Electron. Colloquium Comput. Complex.

Proc. ACM Program. Lang.

Publications

Zi Wang, Gautam Prakriya, Somesh Jha
A Quantitative Geometric Approach to Neural-Network Smoothness. NeurIPS (2022)
Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
Interval universal approximation for neural networks. Proc. ACM Program. Lang. 6 (POPL) (2022)
Zi Wang, Gautam Prakriya, Somesh Jha
A Quantitative Geometric Approach to Neural Network Smoothness. CoRR (2022)
Andrej Bogdanov, William M. Hoza, Gautam Prakriya, Edward Pyne
Hitting Sets for Regular Branching Programs. CCC (2022)
Andrej Bogdanov, Gautam Prakriya
Direct Sum and Partitionability Testing over General Groups. ICALP (2021)
Andrej Bogdanov, Gautam Prakriya
Direct Sum and Partitionability Testing over General Groups. Electron. Colloquium Comput. Complex. 27 (2020)
Dieter van Melkebeek, Gautam Prakriya
Derandomizing Isolation in Space-Bounded Settings. SIAM J. Comput. 48 (3) (2019)
Dieter van Melkebeek, Gautam Prakriya
Derandomizing Isolation in Space-Bounded Settings. Electron. Colloquium Comput. Complex. 24 (2017)
Dieter van Melkebeek, Gautam Prakriya
Derandomizing Isolation in Space-Bounded Settings. Computational Complexity Conference (2017)
Samir Datta, Gautam Prakriya
Planarity Testing Revisited. TAMC (2011)
Samir Datta, Gautam Prakriya
Planarity Testing Revisited. Electron. Colloquium Comput. Complex. 18 (2011)
Samir Datta, Gautam Prakriya
Planarity Testing Revisited CoRR (2011)