| Wed, 28 May 2014 10:04:28 +0200 |
blanchet |
enabled IDF for naive Bayes ML
|
file |
diff |
annotate
|
| Wed, 28 May 2014 10:03:14 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 28 May 2014 09:44:14 +0200 |
blanchet |
repaired subscript problem in SML kNN
|
file |
diff |
annotate
|
| Wed, 28 May 2014 09:38:39 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 28 May 2014 03:10:30 +0200 |
blanchet |
always remove duplicates in meshing + use weights for Naive Bayes
|
file |
diff |
annotate
|
| Tue, 27 May 2014 17:48:11 +0200 |
blanchet |
updated naive Bayes
|
file |
diff |
annotate
|
| Mon, 26 May 2014 14:15:48 +0200 |
blanchet |
renamed 'MaSh' option
|
file |
diff |
annotate
|
| Fri, 23 May 2014 14:12:20 +0200 |
blanchet |
automatically reload state file when it changes on disk
|
file |
diff |
annotate
|
| Thu, 22 May 2014 14:27:43 +0200 |
blanchet |
avoid slow inspection of proof terms now that dependencies are stored in 'state'
|
file |
diff |
annotate
|
| Thu, 22 May 2014 13:46:49 +0200 |
blanchet |
properly mark relearns as dirty
|
file |
diff |
annotate
|
| Thu, 22 May 2014 13:07:53 +0200 |
blanchet |
disable weights that cause more harm than they help in kNN
|
file |
diff |
annotate
|
| Thu, 22 May 2014 13:07:52 +0200 |
blanchet |
add self dependency to naive Bayes
|
file |
diff |
annotate
|
| Thu, 22 May 2014 13:07:51 +0200 |
blanchet |
make MaSh Python the default when passing 'fact_filter = mash' without enabling the 'maSh' Isabelle system option
|
file |
diff |
annotate
|
| Thu, 22 May 2014 04:12:06 +0200 |
blanchet |
reverted '|' features in MaSh -- these sounded like a good idea but never really worked
|
file |
diff |
annotate
|
| Thu, 22 May 2014 03:29:35 +0200 |
blanchet |
until naive Bayes supports weights, don't incorporate 'extra' low-weight features
|
file |
diff |
annotate
|
| Wed, 21 May 2014 14:09:43 +0200 |
blanchet |
added comment
|
file |
diff |
annotate
|
| Tue, 20 May 2014 22:28:44 +0200 |
blanchet |
added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
|
file |
diff |
annotate
|
| Tue, 20 May 2014 22:28:08 +0200 |
blanchet |
added Isabelle system option 'mash'
|
file |
diff |
annotate
|
| Tue, 20 May 2014 16:31:39 +0200 |
blanchet |
more flexible environment variable
|
file |
diff |
annotate
|
| Tue, 20 May 2014 16:11:37 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Tue, 20 May 2014 09:57:10 +0200 |
blanchet |
implemented MaSh/SML hints
|
file |
diff |
annotate
|
| Tue, 20 May 2014 09:38:39 +0200 |
blanchet |
better way to take invisible facts into account than 'island' business
|
file |
diff |
annotate
|
| Tue, 20 May 2014 02:47:23 +0200 |
blanchet |
cleaner handling of learned proofs
|
file |
diff |
annotate
|
| Tue, 20 May 2014 00:13:31 +0200 |
blanchet |
implemented learning of single proofs in SML MaSh
|
file |
diff |
annotate
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
take weights into consideration in knn
|
file |
diff |
annotate
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
added SML implementation of MaSh
|
file |
diff |
annotate
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
started work on MaSh/SML
|
file |
diff |
annotate
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
tune
|
file |
diff |
annotate
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
|
file |
diff |
annotate
|
| Mon, 19 May 2014 13:53:58 +0200 |
blanchet |
hide more consts to beautify documentation
|
file |
diff |
annotate
|