Transformers &
machine reasoning
From token relationships to the structure of an argument.
WE CONSIDER
HOW AI
THINKS.
RESEARCH AS AN OPEN QUESTION.ENTER THE FIELD ↓
01 / THE LANGUAGE
MATHEMATICS
IS A LANGUAGE
OF REASONING.
What does it mean to understand a structure, not simply recognize a pattern? We explore the space between computation, formal reasoning and discovery.
02 / RESEARCH DIRECTIONS
AI FOR
SCIENCE.
ATTENTION / ILLUSTRATIVE COMPUTATIONAL STUDY
Transformers &
Operator learning &
scientific AI
Thinking about functions, fields and the systems they describe.
Mathematical
discovery
New questions at the intersection of human insight and computation.
These are areas of inquiry, not claims of completed AI products.
03 / FORMAL MATHEMATICS
LESS ASSUMED.
MORE PROVED.
Lean turns a mathematical argument into explicit obligations. Every step has a place. Every dependency matters.
DEFINITION↓LEMMA↓PROOF↓CHECKED STRUCTURE
Formal checks have a precise scope. A checked identity is not a claim that every underlying theorem has been formalized.
04 / ALGEBRAIC CURVES & NUMBER THEORY
ABSTRACT
STRUCTURES.
REAL QUESTIONS.
Hyperelliptic curves. Quadratic fields. Class groups. The arithmetic of Jacobians and specialization gives our mathematical work a concrete starting point.
C / ℚ Jac(C) Cl(K) rankₙ
Current research material includes genus-two curves and class-group ranks. Research in progress; no publication or peer-review status is claimed.
05 / LEARN WITH US
FROM FOUNDATIONS
TO ADVANCED
STUDY.
Structured mathematics. Thoughtful materials. A plan built around how you learn and where you want to go.
GRE Mathematics & CMC +
Subject preparation, targeted practice and a coherent study strategy.
Graduate Entrance Mathematics +
Structured revision, foundations and problem-solving practice.
University & Secondary Mathematics +
Tutoring across levels, with attention to concepts as well as technique.
Materials & Study Planning +
Study materials, route planning and a realistic sequence from your current level to your next goal.