This program supports research at the intersection of AI technologies and mathematical reasoning strategies to automate knowledge discovery. It emphasizes machine-assisted mathematical reasoning, including conjecture and proof, to enhance computational intelligence.
