Gautam Prakriya

12 papers A* 2A 2C 1Journal 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Quantitative Geometric Approach to Neural Network Smoothness.
CoRR
Zi Wang, Gautam Prakriya, Somesh Jha
2022 A* conf
A Quantitative Geometric Approach to Neural-Network Smoothness.
NeurIPS
Zi Wang, Gautam Prakriya, Somesh Jha
2022 A conf
Hitting Sets for Regular Branching Programs.
CCC
Andrej Bogdanov, William M. Hoza, Gautam Prakriya, Edward Pyne
2022 J jnl
Interval universal approximation for neural networks.
Proc. ACM Program. Lang.
Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
2021 A* conf
Direct Sum and Partitionability Testing over General Groups.
ICALP
Andrej Bogdanov, Gautam Prakriya
2020 J jnl
Direct Sum and Partitionability Testing over General Groups.
Electron. Colloquium Comput. Complex.
Andrej Bogdanov, Gautam Prakriya
2019 J jnl
Derandomizing Isolation in Space-Bounded Settings.
SIAM J. Comput.
Dieter van Melkebeek, Gautam Prakriya
2017 A conf
Derandomizing Isolation in Space-Bounded Settings.
CCC
Dieter van Melkebeek, Gautam Prakriya
2017 J jnl
Derandomizing Isolation in Space-Bounded Settings.
Electron. Colloquium Comput. Complex.
Dieter van Melkebeek, Gautam Prakriya
2011 J jnl
Planarity Testing Revisited
CoRR
Samir Datta, Gautam Prakriya
2011 C conf
Planarity Testing Revisited.
TAMC
Samir Datta, Gautam Prakriya
2011 J jnl
Planarity Testing Revisited.
Electron. Colloquium Comput. Complex.
Samir Datta, Gautam Prakriya