Cambridge, UK-based legal AI company founded in 2015 by mathematicians from the University of Cambridge.