3 papers
math.CO2026
A bijective proof of a partition theorem of Berkovich and Uncu
Michal Mogielnicki, Ken Ono, Niels Voss +1
In 2016, Berkovich and Uncu proved that, for all nonnegative integers , , and , the number of strict partitions of with odd-indexed odd parts and even-indexed…
cs.LG2026
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language,…
cs.AI2026
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language,…