Skip to content
VibeFormer

Derive it yourself

Researcher track

Full derivations, proofs, theoretical framing and the papers behind each idea. Assumes you want the ELBO derived rather than quoted.

Best if: Preparing for GATE DA, postgraduate study or research work.

  1. 01

    Linear Algebra

    Vector spaces through SVD. The language every model in this curriculum is written in, built from first principles with worked numeric examples.

    19 of 20 lessons on this track

    +13 more

  2. 02

    Calculus and Optimisation

    Single- and multi-variable calculus, convexity, Lagrange multipliers and KKT — the machinery behind every training loop.

    17 of 17 lessons on this track

    +11 more

  3. 03
  4. 04
  5. 05

    Optimisation Algorithms

    Linear and integer programming, duality, first-order and interior-point methods, metaheuristics and Bayesian optimisation.

    26 of 27 lessons on this track

    +20 more

  6. 06

    Game Theory

    Strategic interaction from Nash equilibrium to mechanism design, Shapley values and the games hidden inside GANs and multi-agent systems.

    24 of 25 lessons on this track

    +18 more

  7. 07

    Logic

    Propositional through higher-order logic, proof systems, decidability, and the modal, temporal, description and non-classical families.

    30 of 30 lessons on this track

    +24 more

  8. 08

    Classical Artificial Intelligence

    Search, adversarial games, planning, knowledge representation, and exact and approximate inference in Bayesian networks.

    19 of 19 lessons on this track

    +13 more

  9. 09

    Machine Learning Foundations

    The concepts every algorithm shares: risk minimisation, generalisation, the bias–variance trade-off, validation and metrics.

    16 of 20 lessons on this track

    +10 more

  10. 10

    Supervised Learning

    Every supervised algorithm on the syllabus, each derived from its objective, traced on small numeric data, then coded from scratch.

    24 of 25 lessons on this track

    +18 more

  11. 11

    Unsupervised Learning

    Clustering, dimensionality reduction, association rules and anomaly detection, each traced numerically and derived where it matters.

    26 of 26 lessons on this track

    +20 more

  12. 12

    Reinforcement Learning

    Bandits and MDPs through to PPO: the full progression from tabular dynamic programming to deep policy-gradient methods.

    26 of 26 lessons on this track

    +20 more

  13. 13

    Neural Networks and Deep Learning

    Backpropagation derived and computed by hand, then optimisers, CNNs, RNNs, autoencoders, VAEs, GANs and diffusion models.

    33 of 38 lessons on this track

    +27 more

  14. 14

    Natural Language Processing

    Tokenisation and n-grams through embeddings, attention and the complete transformer, with shapes traced end to end.

    29 of 32 lessons on this track

    +23 more

  15. 15

    Large Language Models

    How modern LLMs are built, aligned, decoded, evaluated, served and turned into agents — with the mechanics, not the hype.

    31 of 32 lessons on this track

    +25 more

  16. 16

    Graph Machine Learning

    Spectral graph theory, PageRank and node embeddings through to GCN, GraphSAGE, GAT and graph transformers.

    25 of 26 lessons on this track

    +19 more

  17. 17

    Practice Vault

    Formula sheets, banks of fully solved problems, GATE-DA style question sets and interview preparation.

    9 of 11 lessons on this track

    +3 more

Start with Vectors and Vector Spaces