Posted in 2024
16 October 2024 - Singular learning, relative information and the dual numbers
24 September 2024 - Safety by shared synthesis
22 May 2024 - Formal AI-assisted code specification and synthesis: concrete steps towards safe sociotechnical systems
21 March 2024 - Program Synthesis
Posted in 2023
11 December 2023 - Online learning for spiking neural networks with relative information rate
25 October 2023 - Relative Information and the Dual Numbers
20 August 2023 - References on information cohomology
26 June 2023 - All you need is relative information
01 April 2023 - Relative information is motivic
Posted in 2022
28 May 2022 - Likelihood, greed and temperature in sequence learning
22 January 2022 - Parametric typeclasses aid generalization in program synthesis
22 January 2022 - Information topos theory - motivation
Posted in 2021
09 September 2021 - All you need is relative information
05 June 2021 - Spiking neural networks
01 June 2021 - Convergence of biased stochastic approximation
10 May 2021 - Path integrals and the Dyson formula
23 March 2021 - Biased stochastic approximation with mutable processes
22 March 2021 - Relative inference with mutable processes
21 March 2021 - Process learning with relative information
Posted in 2020
01 December 2020 - Biased stochastic approximation
23 October 2020 - Machine learning with relative information
14 October 2020 - Path integrals and continuous-time Markov chains
07 October 2020 - Motivic relative information
05 October 2020 - Zeta functions, Mellin transforms and the Gelfand-Leray form
18 September 2020 - Conditional relative information and its axiomatizations
08 September 2020 - Building foundations of information theory on relative information
28 August 2020 - Motivic information, path integrals and spiking networks
07 August 2020 - Processes and variety maximization
23 July 2020 - Adjunctions
26 May 2020 - Directed spaces and types
21 May 2020 - Logical frameworks
Posted in 2018
26 May 2018 - Machine reasoning and deep spiking networks
Posted in 2017
Posted in 2016
03 May 2016 - Exercise on sparse autoencoders
03 May 2016 - Exercise on deep neural networks
04 February 2016 - Hashing
Posted in 2014
13 August 2014 - Statistics and machine learning
02 August 2014 - Boltzmann machines and hierarchical models
Posted in 2012
13 July 2012 - Studying model asymptotics with singular learning theory