History log of /seL4-l4v-master/HOL4/src/AI/machine_learning/mlMatrix.sml
Revision Date Author Comments
# 50fc16d7 16-Jul-2020 Thibault Gauthier <email@thibaultgauthier.fr>

semi-local lambda lifting in holyhammer translation + s-expression export for tree neural networks


# 8aef5598 17-Jun-2020 Thibault Gauthier <email@thibaultgauthier.fr>

missing tttRecord. signature in tttUnfold code


# 4e8fbda0 17-Jun-2020 Thibault Gauthier <email@thibaultgauthier.fr>

summing the gradients for the node before backpropagating


# 96e49b5b 11-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

precomputation before starting big steps


# c6b7d067 11-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

faster ordering of term list


# c3ed0080 16-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

more parallelization during neural network training (does not seem to help in the average case)


# 8f5daeb7 10-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

new reinforcement learning loop


# d9a39fc6 25-Jul-2019 Thibault Gauthier <email@thibaultgauthier.fr>

before removing external parallelism training failed experiment


# aeb7bc97 25-May-2019 Thibault Gauthier <email@thibaultgauthier.fr>

removing trailing whitespaces + fix cache errors in term generation


# b66ce367 20-Apr-2019 Thibault Gauthier <email@thibaultgauthier.fr>

aim model: more efficient testing of inner mappings properties


# 1ba93d8f 19-Mar-2019 Thibault Gauthier <email@thibaultgauthier.fr>

nn training with external process (wip)


# 629cb132 12-Mar-2019 Thibault Gauthier <email@thibaultgauthier.fr>

optimizing matrix addition


# 4405a198 11-Mar-2019 Thibault Gauthier <email@thibaultgauthier.fr>

nn: I/O


# fab929ee 07-Mar-2019 Thibault Gauthier <email@thibaultgauthier.fr>

nn: Xavier's initialization


# d11bd0d1 11-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

modifying some filenames


# 0733c652 08-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

refactoring tactictoe/holyhammer (wip)