Skill UI

This guide details advanced methods for merging multiple specialized LLMs (e.g., combining math, coding, and chat capabilities) without the need for expensive retraining. Learn various techniques such as Linear Merging, SLERP, Task Arithmetic, TIES-Merging, and DARE. Use mergekit to create high-performing, specialized model variants quickly, significantly improving performance and reducing computational costs.

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.

Handles IMO/Putnam/USAMO/AIME style problems by generating refined proofs, then running a fresh-context adversarial verifier to catch flaws, finally producing honest confidence reports and verified PDFs when possible.

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.

Generates comprehensive, long-form cheat sheets for advanced Machine Learning and Large Language Model (LLM) topics. These tutorials are highly structured, including mathematical derivations, from-scratch PyTorch implementations, detailed comparison tables, and 25 categorized high-frequency interview questions (L1, L2, L3). Ideal for deep academic study and technical interview preparation.