Skill UI

Provides LaTeX templates, formatting rules, and submission guidance covering journals (Nature, Science, PLOS, IEEE, ACM), conferences (NeurIPS, ICML, CVPR, CHI, etc.), posters, and grants so researchers can prepare compliant manuscripts efficiently.

Dedicated skill for quickly understanding a single academic paper using the AlphaXiv platform. It employs a tiered source fallback system: starting with an LLM-optimized overview, progressing to full markdown text, and finally accessing the raw LaTeX source for deep inspection. Ideal when you have a specific arXiv ID or URL, and do not require broad literature reviews.

This tool provides rigorous mathematical proof verification using cross-model adversarial review. It systematically identifies logical gaps, structural errors, and analytical inconsistencies in LaTeX-formatted proofs. The system fixes identified issues with full derivations, re-reviews until convergence, and generates a detailed audit report, ensuring the highest level of mathematical rigor for academic publications.