Pushing the limits of knowledge and data driven methods in AI.

See Semiring Inc. for more details.