Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk M. Fong. Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 2028-2034, IJCAI/AAAI, 2013. [doi]
@inproceedings{NguyenHF13-0,
title = {Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment},
author = {Minh Luan Nguyen and Siu Cheung Hui and Alvis Cheuk M. Fong},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6782},
researchr = {https://researchr.org/publication/NguyenHF13-0},
cites = {0},
citedby = {0},
pages = {2028-2034},
booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
editor = {Francesca Rossi},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-633-2},
}