Arguments, Sources, Formal Methods and Research Materials

Articles should include an Availability Statement when they rely on datasets, code, experiments, surveys, corpora, formal proofs or other supporting research materials.

Formal work should define notation and assumptions and provide enough derivation for assessment. Empirical and computational work should document sampling, instruments, preprocessing, analysis, software versions, uncertainty and validation. Explain ethical, privacy, copyright or licence restrictions that prevent public sharing.