We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tool... (more…)

What is Machine Learning? How does it work? Can I use it? Should I use it? This 45 minute talk will help you answer questions like this, without delving deep... (more…)

I specialize in trading inplay horse racing markets, a few of my algorithms depend on knowing how much of the race is left. I currently take the average time based on race type, course and distance… (more…)

I am proud to announce that CitizenNet has been acquired by Condé Nast, one of the world's largest content creators and publishers, attracting more than 100 million consumers across brands ranging from Vogue to Wired to Vanity Fair. After lengthy discus...

We are always trying to stay up to date with the latest research and publications around the world. This includes browsing the raw ArXiv listing (or the saner Arxiv Sanity Preserver), staying up to date with our nerd Twitter feeds and plenty of other sour... (more…)