Skill UI

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.

This comprehensive guide details how to architect a lengthy, complex academic paper into a single, highly navigable PDF. It establishes a two-tier document model, separating self-contained 'Front Matter' from verifiable 'Back Matter.' Learn best practices for structuring proofs, ensuring dependency order, and implementing critical navigation aids (like claim indexes and TOCs) so reviewers can follow the argument flow seamlessly, even without traditional supplementary files.

This resource models the complex, multi-stage review process for top-tier academic conferences, such as SOSP. It details the journey of a paper from initial submission through staged reviews, author rebuttal, and the final live committee decision. It helps users understand the structural dynamics of scholarly evaluation and how to strategically respond to reviewers' critiques.

A comprehensive guide for executing and reporting complex social psychological analyses required for expert peer review. This skill covers norms for reporting uncertainty, assessing measurement quality, ensuring robustness checks, selecting appropriate statistical inference (e.g., multilevel models, clustering), and linking statistical findings back to the theoretical structure. It emphasizes methodological rigor and reproducibility.

A comprehensive model detailing the rigorous evaluation process for submissions to STOC (Symposium on Theory of Computing). It covers the committee structure, the roles of program committee members and external subreviewers, the key evaluation axes (Correctness, Significance, Breadth, Novelty), the typical timeline, and strategic advice for authors on maximizing their leverage throughout the double-blind review process.

This skill provides a comprehensive assessment framework for submitting manuscripts to the journal 'Systems Engineering Theory and Practice.' It helps researchers determine the manuscript's fit, required methodological depth (e.g., modeling, algorithms), structural adherence, and potential revision paths. It serves as a crucial guide to meet the high academic standards of a specialized systems engineering publication.

A comprehensive guide detailing the complex submission and evaluation pipeline for TACAS (Tools and Algorithms for Scientific Applications). It models key features such as category-specific blind review, the mandatory parallel artifact evaluation for tool papers, and the single-round conference decision-making process, helping authors strategically prepare their submissions.

This comprehensive guide details the rigorous review process used by top academic journals. It explains the tiered editor structure, the critical double-blind review model, and how to interpret various decision letters (desk reject, reject, revise and resubmit). It helps authors set realistic expectations, understand professional academic integrity rules, and prepare best practices for manuscript submission.

This skill processes unstructured, rambling, stream-of-consciousness input (like dictation or brainstorming) into a highly structured 'echo' audit. It captures the user's core mission, locked decisions, open questions, and all model inferences, ensuring the user verifies the model's belief, not just the stated doubts. Ideal for refining fuzzy ideas before committing to work.

This skill generates fully valid Microsoft Threat Modeling Tool (.tm7) files. It translates complex system architectures, including components, data stores, data flows, and external actors, into the required WCF DataContractSerializer XML format. Use it for structured STRIDE threat modeling outputs compatible with Microsoft's official tool.

This comprehensive guide is designed to help authors assess the methodological and theoretical suitability of their manuscript for Transportation Research Part B. It emphasizes that the core contribution must be a generalizable method, model, or theorem (e.g., in traffic flow, network optimization, or choice modeling), rather than a simple applied case study. Use this tool for venue selection, manuscript re-framing, and ensuring rigorous analytical justification.

A comprehensive guide for designing, auditing, and reporting advanced statistical and causal inference experiments. It emphasizes moving beyond simple accuracy metrics to quantify uncertainty, model robustness, and causal mechanisms. Covers metrics like coverage, KL divergence, and regret, and outlines best practices for seeding, compute fairness, and creating standardized reporting blocks (e.g., UAI standards).