eriksfunhouse.com
Gimle
- Learning the Language of Dynamical Systems Preprint
- Learning Explicit Structure of Dynamical Systems L4DC LBR 2026
- Asgard: A Compiler for Dynamical Systems Preprint
- The Smoothness Hypothesis Working paper
- Simulation Learning Working paper
- Trace Elimination as Closed-Form Discovery Working paper
All of these live at gimlelabs.com/papers.
Machine Learning
- Embedding Knowledge Graphs as Languages with BERT EurNLP 2019
- Knowledge Graphs MancML@Peak, March 2019
- Modelling human behaviour: Data Science at Streetbees Toyota Connected Tech Nights, February 2019
- How are you feeling? Analysing human emotions using machine learning MancML@AutoTrader, September 2018
- Bants with GANs MancML@Peak, May 2018
- AI Startup Lessons Learned Royal Statistical Society, May 2018
- Introduction to Deep Learning and Natural Language Processing Manchester Data Science Summit, Mar 2018
- An AI Careers Advisor: Using Machine Learning to Predict Your Career Path Paris #7, Mar 2018
- Exploring and improving document-to-vector embeddings CMStatistics, Dec 2017
- An AI careers advisor MancML@Rentalcars, Nov 2017
- Introduction to machine learning and NLP with Ruby Athens Ruby Meetup, Jun 2017
- Deep Learning and Natural Language Processing MancML@AutoTrader, May 2017
- Using latent Dirichlet allocation on a large commercial scale CMStatistics, Dec 2016
- Introduction to Machine Learning & Recruiting with Machine Learning MancML@SpaceportX, Nov 2016
Finance
- LCL - a library for modelling continuous systems EuroScipy, 2013
- Modelling dynamical systems with a DSL CFE-ERCIM, 2012
- A proof system for pricing securities CFE-ERCIM, 2010
Mathematics
- A general framework for sound and complete Floyd-Hoare logics ACM Transactions of Computational Logic, 2008
- Abstract Hoare Logic PhD Thesis QMUL, 2007
- Reasoning about linear systems SEFM proceedings, 2007
- Abstract Hoare Logic and dynamical systems BCTCS, 2006
- Hoare logic in the abstract CSL proceedings, 2006