We present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic. Higher-order interactive theorem provers enable the formalization of arbitrary mathematical theories and thereby present an interesting, open-e... (more…)

Posted by Łukasz Kaiser, Senior Research Scientist, Google Brain Team and Aidan N. Gomez, Researcher, Department of Computer Science Machine... (more…)

FairPut - Fair Machine Learning Outputs (Explainability, Robustness, Fairness) - firmai/fairput... (more…)

The year is 1992. In the United States, the cold war has been declared officially over and a young Bill Clinton is set to become the 42nd president of America. The space shuttle Atlantis takes off from Cape Canaveral with meteorological instruments t... (more…)

Machine Learning allows you to get better insights from your data. But where is most of the structured data stored? In databases! Today, in order to use machine learning with data in a relational database, you need to develop a custom application to read ... (more…)