Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Minh Luan Nguyen' in GoogleThis author has not been identified. Look up 'Siu Cheung Hui' in GoogleThis author has not been identified. Look up 'Alvis Cheuk M. Fong' in Google

runs on WebDSL