01/18/2026
Oak Hammock is proud of our affiliation with the University of Florida and we enjoy sharing their interesting stories. In this article, a new AI-powered tool called HaLLMos was developed to support student learning. The tool was created by a team led by Vincent Vatter, Ph.D., in the UF Department of Mathematics.
Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they often find themselves at sea when first confronted with writing proofs. But a new AI-powered tool called HaLLMos — developed by a team led by Professor Vincent Vatter, Ph.D....