Nguyen et al. "Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Nguyen et al. "Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/nguyen2013ijcai-probabilistic/)
BibTeX
@inproceedings{nguyen2013ijcai-probabilistic,
title = {{Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment}},
author = {Nguyen, Minh Luan and Hui, Siu Cheung and Fong, Alvis Cheuk M.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {2028-2034},
url = {https://mlanthology.org/ijcai/2013/nguyen2013ijcai-probabilistic/}
}