Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment.

Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk M. Fong

Browse the full IJCAI paper archive.