Formulomics Robot Scientist This repository contains the code of the project "Using a large corpus of mathematical formulas to design a human-like robot scientist".