A Statistical Relational Learning Challenge - extracting proof strategies from exemplar proofs. (2012)
Attributed to:
MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://tsi.wfubmc.edu/labs/strait/SRL/srl.html
Type: Other