Published April 15, 2022
| Version 1.0.0
Other
Open
Meta-Interpretive Learning of Proof Strategies - Raw Output
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 |