Ought

Ought is a product-driven research lab that develops mechanisms for delegating high-quality reasoning to advanced machine learning systems.