Skill UI

Guides researchers through drafting publication-ready machine learning papers for NeurIPS, ICML, ICLR, ACL, AAAI, and COLM by combining expert writing philosophy with LaTeX templates, citation verification APIs, and collaborative workflows.

Denario orchestrates a multi-agent AI to automate research workflows, covering idea generation, methodology development, computational experiments, and LaTeX publication output.

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 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.