Rishabh Singh
Orcid: 0000-0002-8950-4277
According to our database1,
Rishabh Singh
authored at least 112 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the International Conference on Machine Learning, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
ACM Trans. Program. Lang. Syst., 2022
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning.
Neural Networks, 2022
Int. J. Hum. Cap. Inf. Technol. Prof., 2022
Robust Dependence Measure using RKHS based Uncertainty Moments and Optimal Transport.
CoRR, 2022
CoRR, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022
2021
Neural Comput., 2021
Question paper generation through progressive model and difficulty calculation on the Promexa Mobile Application.
Educ. Inf. Technol., 2021
A Kernel Framework to Quantify a Model's Local Predictive Uncertainty under Data Distributional Shifts.
CoRR, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the IECON 2021, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the 2021 IEEE International Conference on Image Processing, 2021
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
Artificial Intelligence and Machine Learning Empower Advanced Biomedical Material Design to Toxicity Prediction.
Adv. Intell. Syst., 2020
Time Series Analysis using a Kernel based Multi-Modal Uncertainty Decomposition Framework.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the IEEE International Symposium on Technology and Society, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020
Proceedings of the Programming Languages and Systems, 2020
2019
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees.
CoRR, 2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proc. ACM Program. Lang., 2018
CoRR, 2018
Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018
Search, align, and repair: data-driven feedback generation for introductory programming exercises.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
Proceedings of the 35th International Conference on Machine Learning, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2018
2017
Proc. ACM Program. Lang., 2017
Dagstuhl Reports, 2017
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 34th International Conference on Machine Learning, 2017
Proceedings of the 5th International Conference on Learning Representations, 2017
Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017
2016
BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations.
Proc. VLDB Endow., 2016
CoRR, 2016
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks.
CoRR, 2016
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
Proceedings of the Thirteenth International Conference on Wireless and Optical Communications Networks, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale.
ACM Trans. Comput. Hum. Interact., 2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Model Checking Software, 2009
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009