Skill UI

A comprehensive preflight checklist designed for authors submitting high-level academic manuscripts (e.g., AMS-LaTeX articles). It guides users through verifying technical formatting, mathematical rigor, reference consistency, and logistical requirements before final portal submission. It ensures the manuscript is ready for peer review, focusing on structure and format, not scientific merit.

A comprehensive guide to the rigorous standards for structuring pure mathematics manuscripts, specifically detailing the proper use of appendices and auxiliary material. It teaches authors how to distinguish between the essential core argument (which must remain in the main text) and supplementary technical results, long computations, or background lemmas (which belong in the appendix). This ensures the main text remains focused while maintaining academic rigor and verifiability for peer review.

This workflow acts as a router for writing rigorous pure mathematics manuscripts, specifically targeting the high standards of journals like the Annals of Mathematics. It guides the user through the entire lifecycle—from initial scope assessment and structuring proofs, to refining exposition, and managing revision cycles based on expert referee reports.

A specialized tool for polishing pure mathematics manuscripts, designed to enhance the rigor and overall flow of academic writing. It guides authors to eliminate soft language (e.g., "clearly," "obviously"), ensure precise quantification, explicitly state constant dependencies, and structure hypotheses meticulously. Ideal for late-stage proof refinement before journal submission.

This skill evaluates whether a pure mathematics manuscript meets the exceptionally high standards of Annals of Mathematics. It guides authors on assessing the paper's profound significance, technical novelty, and structural suitability for a top-tier venue in algebra, number theory, and topology. Use this guide when selecting a submission target or calibrating expectations for elite mathematical publishing.

This detailed guide outlines the structure and scientific rigor required for publishing high-quality papers in the domain of Computer Aided Verification (CAV). It instructs authors to transition their work from mere system demonstrations or benchmark reports to formally guaranteed, mathematically precise contributions, emphasizing clear scope definition, stated theorems, and proof ideas.

A comprehensive guide for translating complex, real-world management settings into formal, rigorous mathematical models suitable for high-level academic journals. It provides a systematic framework (Situational Element $\rightarrow$ Model Element Mapping) for developing optimization, game, and data-driven models, ensuring that the model structure, assumptions, and novelty are explicitly defensible against academic critiques.

A comprehensive skill designed for authors targeting Classical and Quantum Gravity (CQG). It guides users on the journal's specific scope, methodological rigor (including mathematical proofs, numerical analysis, and observational constraints), and appropriate academic framing for manuscripts in general relativity, cosmology, and quantum gravity. Use this to assess article suitability before submission.

This guide outlines the rigorous process of formalizing cognitive theories for academic manuscripts. It teaches researchers how to structure a computational or mathematical model, define interpretable parameters, and derive discriminating predictions that differentiate their theory from rival accounts. Essential for moving from a verbal hypothesis to a testable, falsifiable scientific model.

This guide details the rigorous, mathematically focused peer-review pipeline for top ML conferences like COLT (Conference on Learning Theory). It explains the double-anonymous review system, how reviewers assess correctness, significance, and novelty, and provides actionable advice on structuring rebuttals and interpreting final decisions for researchers aiming for top-tier academic publication.

This comprehensive guide provides detailed instructions for revising academic papers, specifically in the field of learning theory, for the COLT conference. It teaches authors how to structure the argument rigorously, ensuring the model is unambiguous, mastering the informal-to-formal theorem pairing, and maintaining mathematical precision (quantifier and constant hygiene).

This skill serves as a comprehensive guide for authors submitting papers to Communications on Pure and Applied Mathematics (CPAM). It helps authors assess the theoretical depth, mathematical rigor, and suitability of their work—especially in PDEs, analysis, and mathematical physics—for a top-tier journal. It covers scope fitting, proof standards, and submission best practices.