SciBot SciBot is a project to solve the problems in Sci using AI; The code about the paper: "Automatic Formula Derivation machine" is under the root folder; The code about the paper: "CAG" is in the folder CAG; The code about the paper: "Neural-Symbolic" is in the root folder;