History log of /seL4-l4v-master/HOL4/src/AI/machine_learning/mlNeuralNetwork.sig
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


# 3520153e 06-Jan-2020 Thibault Gauthier <email@thibaultgauthier.fr>

combinator experiments updated to reflect changes in mlReinforce


# 6e6fa1bc 05-Jan-2020 Thibault Gauthier <email@thibaultgauthier.fr>

mlTune removed


# bbd71674 04-Jan-2020 Thibault Gauthier <email@thibaultgauthier.fr>

new TNN first working version


# 6654a228 14-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

removing trailing whitespaces


# 76950a3c 14-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

fix threads used in training neural networks


# 078e9445 11-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

updating files to reflect changes in smlParallel


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

new reinforcement learning loop


# 17633f32 07-Nov-2019 Thibault Gauthier <email@thibaultgauthier.fr>

refactoring in progress: removing global variables


# c34ea663 31-Oct-2019 Thibault Gauthier <email@thibaultgauthier.fr>

allowing X in subterms


# da69fb5f 20-Oct-2019 Thibault Gauthier <email@thibaultgauthier.fr>

AI directory: removing trailing whitespaces


# b0c4ebc1 23-Aug-2019 Thibault Gauthier <email@thibaultgauthier.fr>

hanabi: wip + tactictoe example updated


# a9c9472c 11-Aug-2019 Thibault Gauthier <email@thibaultgauthier.fr>

refractoring neural networks and probability


# 8d92620b 05-Aug-2019 Thibault Gauthier <email@thibaultgauthier.fr>

new reinforcement learning loop for hanabi


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

biais for every layers


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

before removing external parallelism training failed experiment


# e6922732 18-Jul-2019 Thibault Gauthier <email@thibaultgauthier.fr>

batch external parallelization


# 8eb11db9 01-Jul-2019 Thibault Gauthier <email@thibaultgauthier.fr>

random search


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

removing trailing whitespaces + fix cache errors in term generation


# dbdfc1e8 20-May-2019 Thibault Gauthier <email@thibaultgauthier.fr>

before temporarily removing momentum


# 38fbf0f4 15-May-2019 Thibault Gauthier <email@thibaultgauthier.fr>

moving, renaming, removing machine learning files


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

nn training with external process (wip)


# 822d916e 16-Mar-2019 Thibault Gauthier <email@thibaultgauthier.fr>

different number of cores for training and exploration


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

optimizing matrix addition


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

nn: I/O


# 3329dbe6 31-Jan-2019 Thibault Gauthier <email@thibaultgauthier.fr>

AIM paramodulation game specification


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

refactoring tactictoe/holyhammer (wip)