Authors Search About

Karkare, Amey

1 publications

IJCAI 2013 Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy