The Insitute for Computer-Aided Reasoning will be on the exhibition floor at the 2026 Joint Mathematical Meetings. Stop by to learn more about our mission and the role AI (old-fashioned, neural, and other) is playing in mathematics.
The Insitute for Computer-Aided Reasoning will be on the exhibition floor at the 2026 Joint Mathematical Meetings. Stop by to learn more about our mission and the role AI (old-fashioned, neural, and other) is playing in mathematics.