sean-lamont

Pinned Repositories

aixijs
AIXIjs - General Reinforcement Learning in the Browser
Language:JavaScript150 13 1628
aitp
Language:Standard ML00
aixijs
AIXIjs - General Reinforcement Learning in the Browser
Language:JavaScript10
bait
Language:Standard ML4 1 21
coda-to-end
Software package, with new algorithms for Compositional Data Analysis (CoDA)
20
configs
Language:Vim Script10
deepmath-light
Fork of TensorFlow implementation of deepmath implemented for local running and with PyTorch
Language:Python00
honours
Honours project, focusing on Machine Learning techniques for Compositional Data Analysis (CoDA)
Language:Jupyter Notebook10
sean-lamont.github.io
Language:HTML10

sean-lamont's Repositories

sean-lamont/bait
Language:Standard ML4 1 21
sean-lamont/coda-to-end
Software package, with new algorithms for Compositional Data Analysis (CoDA)
20
sean-lamont/aixijs
AIXIjs - General Reinforcement Learning in the Browser
Language:JavaScript10
sean-lamont/configs
Language:Vim Script10
sean-lamont/honours
Honours project, focusing on Machine Learning techniques for Compositional Data Analysis (CoDA)
Language:Jupyter Notebook10
sean-lamont/sean-lamont.github.io
Language:HTML10
sean-lamont/aitp
Language:Standard ML00
sean-lamont/deepmath-light
Fork of TensorFlow implementation of deepmath implemented for local running and with PyTorch
Language:Python00
sean-lamont/lean-step
Fork of original lean-step repository for ML experiments
Language:Lean00
sean-lamont/hol-gnn
Code for GNN based approaches for automating the HOL4 theorem prover
Language:Python
sean-lamont/phd-old
Language:HTML
sean-lamont/Spice-Boys-Super-Secret-Project
Govhack 2017 Entry
Language:Jupyter Notebook
sean-lamont/tactic_zero_experiments
Language:Python
sean-lamont/thesis_proposal
Language:TeX