Skill UI

A comprehensive guide for authors submitting papers to the ACL conference. It assists in positioning the manuscript, verifying topic fit (NLP, language models, semantics), and ensuring the evidence meets the high standards required for top-tier computational linguistics venues. Covers structure, best practices, and submission checklists.

This guide helps researchers determine if their theoretical computer science result is suitable for ICALP, the premier European conference. It details the crucial two-step decision process: first, selecting the correct venue (ICALP vs. STOC/FOCS/SODA/Journals), and second, classifying the work into the appropriate specialized track (Track A: Algorithms, or Track B: Logic, Automata, and Semantics).

This skill is a strategic guide for authors submitting to top-tier AI conferences, specifically the International Conference on Principles of Knowledge Representation and Reasoning (KR). It helps users assess manuscript fit, framing, and evidence requirements. It provides deep guidance on the required scope, such as formal semantics, nonmonotonic reasoning, and ontologies, ensuring the paper is positioned correctly within the specialized KR community. Ideal for pre-submission strategy and manuscript re-framing.

This skill provides a comprehensive guide for authors submitting theoretical linguistics manuscripts. It ensures the contribution is framework-neutral, highly generalizable, and makes a clear theoretical argument accessible to linguists across diverse subfields (e.g., phonology, syntax, semantics). It acts as a venue selection and framing aid for high-level academic publishing.

This skill provides expert guidance on positioning theoretical work for Linguistic Inquiry, a premier venue in generative grammar. It helps authors structure rigorous formal analyses of syntax and its interfaces (morphology, semantics, phonology). Use this when developing explicit, falsifiable theoretical proposals, crafting focused 'squibs,' or navigating the high standards required for top-tier academic linguistics publications.

This guide outlines the rigorous standards for achieving full reproducibility in theoretical computer science papers (like those presented at POPL). It details how to ensure that independent readers can re-establish research claims by meticulously tracking mechanized theorems, on-paper proofs, formal semantics, and empirical results. Key practices include maintaining a central correspondence table and ensuring assumption hygiene to prevent logical divergence.

This guide helps researchers determine the optimal venue (like POPL, PLDI, OOPSLA) for their academic papers on programming languages. It advises authors on whether their core contribution is theoretical (proofs, semantics), implementation-focused (compilers, benchmarks), or empirical (user studies), ensuring their work reaches the most appropriate specialized reviewer community.

This skill provides a comprehensive guide for manuscript authors targeting the StarSem Conference on Computational Semantics (*SEM). It helps authors determine the conference fit, refine framing, establish the necessary evidence bar, and strategize submissions for topics related to meaning representation, semantic parsing, and inference. It is a specialized venue-selection and re-framing tool for advanced NLP/CS papers.

Reverse JavaScript-based custom DSL/VM interpreters, non-standard WASM-like runtimes, and risk-control engines. Use when analyzing IIFE or switch-based opcode dispatchers, extracting instruction tables, recovering bytecode semantics, capturing VM state at runtime, or reconstructing execution flow.

Read and write a Zotero library from the shell with the zotero-cli command: search papers by keyword or semantics, read PDF full text and page ranges, get and set metadata, manage collections, tags, notes and annotations, add items by DOI, and export bibliographies.