Papers

Position Paper: Towards Transparent Machine Learning
Date
2019.11.01
Versions
Pages
27
Transparent machine learning is introduced as an alternative form of machine learning, where both the model and the learning system are represented in source code form. The goal of this project is to enable direct human understanding of machine learning models, giving us the ability to learn, verify, and refine them as programs. If solved, this technology could represent a best-case scenario for the safety and security of AI systems going forward.
Extensible Integer Coding (EXINT)
Date
2016.12.28
Versions
Pages
4
EXINT is a byte-aligned universal code with complete support for the integers. It is byte-order agnostic and has O(1) time performance when bounded by the system datapath, integer, or memory width.
Saving The Control Problem
Date
2016.12.18
Versions
Pages
2
The control problem is a question posed by Nick Bostrom on how to limit advanced artificial intelligence while still benefiting from its use. I propose an extension to the original control problem that separates it into a local and global version. I then provide proofs that the global version has no solution.
AI Security, 1st Edition
Date
2016.09.03
Versions
Pages
329
A book on the technical and societal impacts of advanced artificial intelligence.