Published April 15, 2022 | Version 1.0.0
Other Open

Meta-Interpretive Learning of Proof Strategies - Raw Output

  • 1. Heriot-Watt University

Description

Raw output from machine learning system used in PhD research. 

Files

ch4_group_examples.txt

Files (1.0 MB)

Name Size Download all
md5:1d2dbf83390578d471b7e751378bedc2
16.5 kB Preview Download
md5:5acc0ec57599a8536b1b4185ac9b5bb3
27.3 kB Preview Download
md5:6a946d961729213136fba0a56af17232
25.4 kB Preview Download
md5:dd186ce9b4c10bdfa842bf1bdb21653c
42.1 kB Preview Download
md5:edffb9657f85e8f7b67a662c934c5176
8.9 kB Preview Download
md5:bb65779f9f344d2697203a03af87dac1
5.9 kB Preview Download
md5:cb673c3f91a5560505be54d7915c8211
107.6 kB Preview Download
md5:f080aedcc39ae659806b68578fc742ee
169.9 kB Download
md5:ae4f036e1bcdc266df6c8c6d79906f46
6.1 kB Preview Download
md5:f3cff9bd16902cdc8b05da81c642dc10
9.1 kB Download
md5:48cdf5d8d43331e72dfe5714f146b8c5
112.4 kB Preview Download
md5:64358f6fda6ccf015c60d55e6805689f
223.3 kB Preview Download
md5:e582a49eabd68e72cfe3fb77945ba986
4.0 kB Preview Download
md5:39e89883f203c681791cbc0d0aa3b1cd
3.0 kB Preview Download
md5:77b26cdb5b3ec0aae12da1a2cf35aac5
3.0 kB Preview Download
md5:c428935379562ab197a0db4910020edd
3.0 kB Preview Download
md5:6c36cb29e3c4fdc7b6a3445f00555588
153.8 kB Preview Download
md5:201a813c1814cc91e84cc9cdce3bab87
122.6 kB Preview Download