Follow
Siddhant Sharma
Siddhant Sharma
Postgraduate Student, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Neural policy safety verification via predicate abstraction: CEGAR
M Vinzent, S Sharma, J Hoffmann
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15188 …, 2023
5*2023
Cementron: Machine learning the alite and belite phases in cement clinker from optical images
M Zaki, S Sharma, SK Gurjar, R Goyal, NMA Krishnan
Construction and Building Materials 397, 132425, 2023
12023
Sparse Medical Image Analysis
S Sharma
INDIAN INSTITUTE OF TECHNOLOGY DELHI, 2023
2023
Clarinet: A Music Retrieval System
K Alwadhi, R Sharma, S Sharma
arXiv preprint arXiv:2210.12648, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4