Planarity Testing Revisited. - Samir Datta; Gautam Prakriya (Electron. Colloquium Comput. Complex., 2011)

Derandomizing Isolation in Space-Bounded Settings. - Dieter van Melkebeek; Gautam Prakriya (SIAM J. Comput., 2019)

Direct Sum and Partitionability Testing over General Groups. - Andrej Bogdanov; Gautam Prakriya (Electron. Colloquium Comput. Complex., 2020)

Hitting Sets for Regular Branching Programs. - Andrej Bogdanov; William M. Hoza; Gautam Prakriya; Edward Pyne (CCC, 2022)

A Quantitative Geometric Approach to Neural-Network Smoothness. - Zi Wang; Gautam Prakriya; Somesh Jha (NeurIPS, 2022)

Interval universal approximation for neural networks. - Zi Wang; Aws Albarghouthi; Gautam Prakriya; Somesh Jha (Proc. ACM Program. Lang., 2022)