About
I'm a Mathematics Lecturer and Head of Department with over 9 years of teaching experience, having worked directly with more than 1500 undergraduate students. This classroom journey has deeply shaped how I think about logical clarity and mathematical precision, qualities I now bring to my work as an AI Mathematical Reasoning Specialist. I bridge the gap between abstract human mathematical intuition and the reliability of deterministic machine learning.
My primary focus is designing, auditing, and hardening mathematical reasoning frameworks for Large Language Models (LLMs). I don't just solve math problems; I engineer "Gold Standard" datasets that teach AI to think deterministically.
โ๏ธ What I Do:
๐น RLHF & CoT Engineering: Structuring rigorous Chain-of-Thought datasets for supervised fine-tuning (SFT) and reinforcement learning, particularly in advanced domains like Calculus, Linear Algebra, and Statistics.
๐น Logical Auditing: Identifying subtle "hallucinations" and logical traps in AI-generated reasoning traces (GSM8K, AIMO standards).
๐น Symbolic Verification Pipelines: Building automated evaluation systems using Python (SymPy, NumPy) to ensure training models are mathematically foolproof.
๐น Mathematical Animation (Manim): Transforming complex abstract logic, calculus, and machine learning models into intuitive, high-definition visual animations using the Python Manim Engine.
๐น Scientific Typesetting (LaTeX): Engineering error-free, publication-quality mathematical research papers, multivariable equations, and TikZ graphs.
My background in Elliptic Curve Cryptography (ECC) allows me to comfortably handle precision-critical algorithms and complex finite-field operations. Furthermore, ranking in the Top 17% of the Meta Global Coding Challenge reflects my ability to execute complex algorithmic reasoning under pressure.
๐ฏ Current Focus: I am currently building deterministic evaluation systems that prioritize mathematical depth. I am actively open to collaborations, remote consulting, and specialized roles in AI training, LLM evaluation, and logic auditing.
Let's connect to discuss how we can build more mathematically reliable AI systems.
๐ ๏ธ Tech Stack & Expertise: RLHF, SFT, Python, SymPy, LaTeX, Mathematical Modeling, Cryptography, Algorithm Design.