CAV Related Work Auditor
Audits and crafts delta-first related work sections for Computer Aided Verification (CAV) conference submissions and verification journals.
The CAV Related Work skill helps computer science researchers accurately position academic papers for the International Conference on Computer Aided Verification (CAV) and related venues such as TACAS, FMCAD, VMCAI, and POPL. It ensures literature reviews follow a delta-first contrast structure rather than a passive citation list, accurately attributes tools and benchmark lineages to their true origin venues, enforces double-blind anonymity requirements, and flags potential archival or self-plagiarism overlap risks before submission.
주요 기능
011,074 GitHub stars
02Maps related work across flagship verification, hardware, reasoning, PL, and journal lanes
03Structures literature reviews into delta-first technical contrasts against prior work
04Validates double-anonymity compliance for Regular and Application paper categories
05Ensures accurate attribution and venue lineage for key tools, solvers, and benchmarks
06Identifies potential dual-submission, workshop overlap, and prior-version eligibility red flags
사용 사례
01Auditing citations to ensure solvers, benchmarks, and sibling tools cite the correct historical venues
02Checking double-anonymous compliance and prior workshop overlap before paper submission
03Drafting delta-first related work and novelty positioning for a CAV conference paper