Skill UI

This guide helps researchers strategically determine the best academic venue (e.g., CAV, TACAS, FMCAD) and paper category (Regular, Tool, Application, Industrial) for their formal methods research. It provides detailed criteria for classifying contributions based on guaranteed techniques, usable tools, or real-world case studies, ensuring maximum impact and fit for the target conference.

A comprehensive guide detailing advanced econometric methods for establishing causal relationships in policy evaluations. It covers techniques such as Difference-in-Differences (DID), Instrumental Variables (IV), Regression Discontinuity Design (RDD), and structural modeling. The core focus is bridging the gap between econometric rigor and policy legibility, ensuring that the causal mechanism is explicit in the main text while maintaining formal defense in the appendix.

This comprehensive guide outlines the necessary theoretical rigor for algorithms and models submitted to top-tier computational journals. It instructs authors on how to formally state mathematical formulations, rigorously prove model validity, establish convergence, and quantify complexity (e.g., approximation ratios, finite termination). It provides specialized paths for exact methods, metaheuristics, and ML-enhanced OR, ensuring that the theoretical advancements fully support and rationalize the experimental findings.

This skill guides researchers in elevating observed findings into rigorously theoretical, generalizable, and falsifiable arguments suitable for top-tier academic journals. It provides structured methods for building mechanisms (empirical), defining comparative statics (formal), and establishing conceptual claims (normative). Use this when you need to prove that your contribution is novel, sharp, and matters to a general readership.

This guide teaches rigorous conceptual analysis essential for analytic philosophy. It helps users define key terms precisely, draw clear distinctions between similar concepts, identify logical fallacies (like equivocation), and select the most appropriate philosophical method (e.g., conceptual analysis, thought experiments, formal modeling). Use it when an argument requires heightened precision and structural integrity.

This guide provides detailed guidelines for authors submitting to top-tier formal methods conferences (like TACAS). It emphasizes moving beyond simple literature summaries by employing a "delta-first" approach. Authors must precisely position their algorithm or tool by contrasting its novel features, guarantees, or scaling benefits against the nearest prior work, while also crediting underlying infrastructure and covering major verification venues.

A comprehensive guide for authors submitting to venues focused on probabilistic AI, including UAI. It emphasizes achieving maximum formal rigor by enforcing strict notational discipline, clearly separating conditioning from intervention, explicitly stating assumptions, structuring the main body for maximum impact, and calibrating claims to match empirical evidence. Essential for papers involving graphical models, causality, and Bayesian methods.