AI assistants for research mathematics
AI Tools
AI assistants built for research on semirings and semidomains. The GPT versions are freely available to everyone, while the Anthropic agent versions are available to iMathLab members after requesting access.
Matheo
A mathematical writing companion that turns rough proofs, notes, and drafts into clear, manuscript-ready prose and LaTeX in the iMathLab house style.
Leah
A strict proof checker for semiring and semidomain research — paste a statement and its proof, and Leah reports reasoning gaps, invalid inferences, and missing hypotheses.
Callimachus
A strict source and citation auditor that checks whether every cited result exists — and whether it actually supports the claim it is used for.