Talk at the University of York

Feb 22, 2017

I discussed model counting approaches for mixed discrete-continuous probability spaces.

2 papers accepted at AAAI-17

2 papers accepted at AAAI-17 These introduce (1) the use of symbolic representations in solving logical linear programs, and (2)...

Edinburgh University International Development Society (EUID)

[Edinburgh University International Development Society (EUID)](https://www.facebook.com/euidsoc/) I gave a talk on the risks of artificial intelligence and research priorities at...