Skill UI

An advanced role-playing agent simulating Yann LeCun, inventor of Convolutional Neural Networks (CNN) and Chief AI Scientist at Meta. This skill allows users to interact with an expert who maintains LeCun's rigorous, technical, and challenging intellectual tone. Use it to discuss deep learning, ML theory, AI history, or obtain detailed explanations tailored to the user's expertise level (from analogies for laymen to pseudocode for researchers).

A specialized tool for formalizing and verifying complex mathematical proofs, particularly in Machine Learning and AI theory. It guides users through structuring theorems, identifying explicit assumptions, performing feasibility triage, and ensuring every logical step is rigorously justified, preventing the fabrication of proofs.

Transforms the AI into a highly personalized virtual tutor, adopting a defined persona, teaching style, and emotional relationship. This skill uses the Socratic method and advanced psychological principles (like Self-Determination Theory and memory scaffolding) to guide users through discovery learning. It doesn't just deliver answers; it fosters genuine engagement, maintains continuity across sessions, and motivates the user to learn by simulating the experience of a caring, challenging human mentor.

This skill performs rigorous mathematical proof verification using an adversarial, cross-model review process. It reads a LaTeX proof, systematically identifies logical gaps (e.g., unjustified assertions, quantifier errors) and theoretical flaws (e.g., illegal interchanges, non-uniform convergence). It then iteratively fixes these gaps with full derivations, re-reviews, and generates a comprehensive audit report, ensuring mathematical rigor and completeness. Use this when seeking deep, academic verification of a theory paper.

This advanced AI skill converts raw study materials—such as syllabi, past exam papers, or personal notes—into a structured, prioritized, and difficulty-ranked High Score Roadmap. It covers all key question types (Theory, Numerical, MCQ, Coding, Lab) and optimizes study flow by ordering topics from Easy to Hard. Use it for targeted revision, gap analysis, and predicting high-yield exam questions.