Gautam Prakriya

According to our database, Gautam Prakriya authored at least 6 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Interval universal approximation for neural networks.

Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha

Proc. ACM Program. Lang., 2022

A Quantitative Geometric Approach to Neural-Network Smoothness.

Zi Wang, Gautam Prakriya, Somesh Jha

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Hitting Sets for Regular Branching Programs.

Andrej Bogdanov, William M. Hoza, Gautam Prakriya, Edward Pyne

Proceedings of the 37th Computational Complexity Conference, 2022

2021

Direct Sum and Partitionability Testing over General Groups.

Andrej Bogdanov, Gautam Prakriya

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2017

Derandomizing Isolation in Space-Bounded Settings.

Dieter van Melkebeek, Gautam Prakriya

Proceedings of the 32nd Computational Complexity Conference, 2017

2011

Planarity Testing Revisited.

Samir Datta, Gautam Prakriya

Proceedings of the Theory and Applications of Models of Computation, 2011