Connect

ICDT Paper Writing Style

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Structures and refines academic papers for the International Conference on Database Theory (ICDT) according to formal theorem-proof conventions and LIPIcs formatting.

Guides researchers in structuring and refining database theory research papers tailored specifically for the International Conference on Database Theory (ICDT). It enforces rigorous theorem-proof architecture, ensures explicit early definition of data models and complexity measures (such as data vs. combined complexity), and optimizes narrative flow to balance body proof sketches with complete appendix proofs within the 15-page LIPIcs-v2021 format limit.

Key Features

01Ensures explicit specification of data models, query languages, and complexity classes early
02Audits formal notation, quantifier ordering, and matching upper/lower bounds
031,079 GitHub stars
04Enforces strict theorem-proof exposition tailored for database theory referees
05Balances body proof sketches with marked appendix proofs within the 15-page LIPIcs budget
06Identifies common theoretical paper failure modes such as survey-heavy introductions

Use Cases

01Drafting and structuring theoretical database papers submitted to ICDT or PODS
02Refactoring manuscript drafts to adhere strictly to LIPIcs-v2021 page constraints
03Reviewing pre-submission academic drafts for mathematical rigor and standard notation