AI Researcher — Mathematical Reasoning & Alignment (Freelance)
Directed theoretical auditing of complex mathematical proofs generated by LLMs to ensure logical, topological, and algebraic consistency across large datasets. Engineered edge-case prompt injection attempts using logical paradoxes and computational complexity theory to probe the formal boundaries of production AI models. Framed preference optimization for RLHF using a thermodynamic free-energy minimization perspective to improve convergence behavior during training.