Official codebase for the paper "ISM: Self-Improving Strategy Memory for Continual Mathematical Reasoning" by Prakhar Dixit and Tim Oates, accepted at the ICML 2026 AI4Math Workshop. We propose ...

ail-typo-squatting is a Python library to generate list of potential typo squatting domains with domain name permutation engine to feed AIL and other systems. The tool can be used as a stand-alone ...

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Recent advances in large language models (LLMs) have made artificial intelligence more adaptable than ever before, but that comes with a drawback: lies. Generative AI tends to make things up, but ...