CAV Supplementary Partitioning Guide
Partitions CAV research papers across body, appendix, and artifact to satisfy LNCS page limits and double-anonymous rules.
The CAV Supplementary skill provides rigorous guidance for Computer Aided Verification (CAV) conference authors on structuring submissions between the main paper body, optional appendix, and software artifact. It enforces the critical CAV review convention that reviewers are not obliged to read appendices, ensuring all decision-critical proofs, theorems, and benchmark summaries remain inside the strict LNCS page limits. The skill also performs partition checks, anonymization audits for double-anonymous tracks, and dependency evaluations to ensure submissions survive initial stage-1 screening.
주요 기능
01Enforces CAV LNCS page-limit discipline for regular, short, and tool papers
02Validates double-anonymous compliance across appendices and review artifacts
031,074 GitHub stars
04Structures content partitioning so decision-critical results remain in the paper body
05Guides artifact smoke-test preparation and README orientation for AEC evaluation
06Generates structured compliance reports with clear partition status checks
사용 사례
01Anonymizing supplementary materials for double-anonymous CAV paper tracks
02Organizing benchmark tables and raw execution logs for CAV artifact packaging
03Splitting mathematical proofs and lemma statements between paper body and appendix