NIPS Proceedingsβ

Mayur Naik

2 Papers

  • Learning Loop Invariants for Program Verification (2018)
  • Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression (2010)