proving+machine learning

Josef Urban

http://cs.ru.nl/~urban/


Theorem Proving in Large Formal Mathematics as an Emerging AI Field.
https://scholar.google.com/citations?view_op=view_citation&hl=en&user=zVDqF54AAAAJ&citation_for_view=zVDqF54AAAAJ:Tyk-4Ss8FVUC