Krishnendu Chatterjee
3 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
Formal proofs and additional simulation results from Language learning with communication between learners from Language acquisition with communication between learners.
2018 · Open MIND
Supplementary information containing detailed description of the model, formal proofs of the results, and additional simulation results.
-
Termination Analysis of Probabilistic Programs through\n Positivstellensatz's
2016 · arXiv (Cornell University)
We consider nondeterministic probabilistic programs with the most basic\nliveness property of termination. We present efficient methods for termination\nanalysis of nondeterministic probabilistic programs with polynomial guards and\nassignments. Our approach is through synthesis of polynomial ranking\nsupermartingales, that …
-
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
2023 · Proceedings of the AAAI Conference on Artificial Intelligence
We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly …