Despite the vast differences in human and bee brains, both of us can do mathematics. As we argue in a new paper published in ...

The big AI companies promised us that 2025 would be “the year of the AI agents.” It turned out to be the year of talking ...

"AI can't do math" is no longer true. Our team has been using Creatium Studio's math capabilities to create interactive ...

A big part of his work is figuring out when a statistical method is truly the best choice. Some problems have straightforward ...

The GSMM Camp is a weeklong workshop directed towards interdisciplinary problem solving whose aim is graduate student education and career development. The GSMM Camp is designed to promote a broad ...

Abstract: Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we introduce ...

Abstract: This paper investigates the feasibility of fine-tuning a large language model (LLM), specifically ChatGPT, to tackle the Boolean satisfiability problem (3-SAT), a well-known NP-complete ...