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.

Rigorously dissects code and architecture through advanced mathematics—graph theory, category theory, stochastic systems, information theory, and formal invariants—to uncover hidden structure and optimize performance.

A comprehensive directive for elite frontend developers, focusing on creating high-fidelity, award-winning web experiences. It mandates advanced techniques including GSAP motion triggers, mathematically flawless bento grids, and strict adherence to AIDA structure. This skill is crucial for building visually stunning, deeply interactive, and professional product or portfolio websites, moving beyond standard template limitations.

A specialized skill for achieving asymptotic performance gains when classical algorithms are already near optimal. It leverages advanced mathematical techniques and probabilistic data structures (e.g., Bloom Filters, HyperLogLog, FFT, MinHash/LSH) to handle massive datasets (n ≥ 10⁶) by accepting bounded approximations or exploiting deep structural properties. Requires strict adherence to error parameter and complexity justification protocols.

A guide for managing the length and density of advanced pure mathematics manuscripts. This skill helps authors eliminate bloat, padding, and unnecessary background while ensuring that the core mathematical proof remains complete, rigorous, and gap-free. It is essential for refining long-form academic papers for top-tier journals.

A comprehensive guide for structuring, auditing, and writing mathematically rigorous proofs for advanced academic papers, particularly in econometrics and statistics. It covers everything from defining assumptions and stating self-contained theorems to applying advanced proof techniques (e.g., fixed-point theorems, CLT). Use this when your central result requires impeccable rigor and completeness for top-tier publication.

This guide is designed for authors targeting top-tier journals like Foundations of Computational Mathematics (FoCM). It outlines the journal's high academic standards, requiring deep mathematical rigor, established theorems, and proofs (e.g., convergence, complexity bounds) at the math-computation interface. It emphasizes theoretical foundations over empirical results, making it ideal for advanced research in numerical analysis, optimization theory, and computational geometry.

This skill is designed for advanced academic writing, helping users transform vague model findings into precise, testable mathematical propositions or theorems. It guides the rigorous structuring of proofs, ensuring logical completeness, correctly handling boundary conditions, and separating detailed derivations into an appendix, meeting the standards of top-tier academic journals.

A detailed guide for researchers tackling advanced financial-mathematics problems. It outlines the stringent criteria for suitability in top-tier journals, emphasizing methodological novelty, mathematical rigor, and deep theoretical contribution (e.g., stochastic analysis, structural theorems) over routine data computation. Use this to refine and scope your research proposal.

A rigorous guide detailing the advanced writing standards required for top-tier database theoretical papers (e.g., ACM PODS). It emphasizes precision in defining models, stating theorems, matching upper and lower bounds, and structuring the narrative to ensure mathematical completeness and verifiability for peer review.

This skill provides a comprehensive framework for ensuring the mathematical verifiability of advanced algorithms papers (like those submitted to SODA). It guides authors to establish a complete, checkable argument, documenting every claim, explicit model assumption, constant status, and providing machine-checkable steps. It moves beyond simple claims of accuracy to mandate full, reproducible proof structures.

SymPy is a powerful Python library designed for symbolic mathematics. Unlike numerical solvers, it performs exact calculations using mathematical symbols, allowing users to model and solve complex problems across various domains. Core capabilities include symbolic calculus (derivatives, integrals, limits), advanced algebra, solving systems of equations, linear algebra (determinants, eigenvalues), and specialized modules for physics and number theory. It can also generate executable code in languages like C and Fortran, making it invaluable for academic research and scientific computing.