Paper Verification Methodology
You are helping a researcher verify that their paper accurately reflects their code and experimental results. This is the most critical quality control step in academic writing.
Verification Dimensions
1. Numerical Accuracy Audit
For every number in the paper (dataset sizes, metric values, percentages, counts):
- Extract the number and its context from the .tex file
- Trace it to its source: code output, result file, log, or tracking system
- Verify the value matches exactly (watch for rounding, percentage vs decimal)
- Flag any number that cannot be traced to a source
Template:
| Paper claim | Location (.tex) | Source file/code | Source value | Match? |
|-------------|-----------------|-----------------|-------------|--------|
| "13,999 frames" | abstract L3 | len(glob(labels/*.json)) | ? | ? |
| "4.2% improvement" | Table 2 | eval_results.json | ? | ? |
Common numerical errors:
- Rounding inconsistencies (3.14 in text, 3.1415 in table)
- Stale numbers from earlier experiments not updated after re-runs
- Percentage vs absolute confusion
- Off-by-one in dataset counts (headers counted, or not)
2. Terminology Consistency Audit
- Extract all defined terms from the methods section
- Search for each term across ALL sections
- Flag any inconsistent usage:
- Same concept, different names (e.g., "tag head" vs "classification head")
- Same name, different meanings across sections
- Defined but never used, or used but never defined
3. Code-Paper Alignment
For each method described in the paper:
- Find the corresponding code (function, class, module)
- Compare the paper's description with the actual implementation
- Check specifically:
- Algorithm steps match code flow
- Hyperparameters in text match config/code defaults
- Architecture descriptions match model code
- Loss functions in equations match loss code
- Training procedures match training scripts
Common mismatches:
- Paper describes an idealized version, code has edge cases not mentioned
- Hyperparameters changed during development but paper not updated
- Paper describes a method that was later modified or removed from code
4. Formula-Code Verification
For each equation in the paper:
- Identify the equation and its variables
- Find the code that implements it
- Map each mathematical operation to its code equivalent
- Verify:
- Summation bounds match loop bounds
- Division operations handle edge cases
- Normalization factors match
- Gradient flow matches (detach, no_grad)
- Reduction operations (mean vs sum) match
5. Citation Fact-Checking Protocol
For each citation in the paper:
Step 1: Extract the claim and the cited paper
Step 2: Verify BibTeX metadata against DBLP:
- Author names (exact spelling, correct order)
- Paper title (exact, from published version not preprint)
- Venue and year (confirmed against actual publication)
Step 3: For cited claims with specific numbers:
- Locate the exact table/figure in the cited paper
- Verify the number matches what the citing paper states
- If the number cannot be confirmed, suggest qualitative language instead
Step 4: Check for common citation errors:
- Citing preprint when published version exists
- Wrong year (submission vs publication)
- Author name misspellings
- Citing for a claim the paper doesn't actually make
Verification Process
- Read the full paper (or specified sections)
- Build the verification table for each dimension
- For each entry, read the source and verify
- Produce a prioritized issue list:
- HIGH: Incorrect numbers, wrong claims, missing citations
- MEDIUM: Terminology inconsistencies, stale but close numbers
- LOW: Minor formatting, optional improvements
Output Format
Produce a structured verification report:
- Summary: X issues found (Y high, Z medium, W low)
- Numerical audit table: each number with source and match status
- Terminology issues: inconsistent terms with locations
- Code-paper mismatches: description vs implementation gaps
- Citation issues: metadata errors and unverified claims
- Suggested fixes: specific text replacements for each issue
1---2name: paper-verification3description: Use when the user wants to verify paper claims against code or data, audit numerical accuracy, check formula-code alignment, or validate citation accuracy. Triggers on phrases like "verify claims", "check numbers", "do the numbers match", "formula vs code", "audit the paper", or "cross-check results".4---56# Paper Verification Methodology78You are helping a researcher verify that their paper accurately reflects their code and experimental results. This is the most critical quality control step in academic writing.910## Verification Dimensions1112### 1. Numerical Accuracy Audit1314For every number in the paper (dataset sizes, metric values, percentages, counts):15161. **Extract** the number and its context from the .tex file172. **Trace** it to its source: code output, result file, log, or tracking system183. **Verify** the value matches exactly (watch for rounding, percentage vs decimal)194. **Flag** any number that cannot be traced to a source2021Template:22```23| Paper claim | Location (.tex) | Source file/code | Source value | Match? |24|-------------|-----------------|-----------------|-------------|--------|25| "13,999 frames" | abstract L3 | len(glob(labels/*.json)) | ? | ? |26| "4.2% improvement" | Table 2 | eval_results.json | ? | ? |27```2829Common numerical errors:30- Rounding inconsistencies (3.14 in text, 3.1415 in table)31- Stale numbers from earlier experiments not updated after re-runs32- Percentage vs absolute confusion33- Off-by-one in dataset counts (headers counted, or not)3435### 2. Terminology Consistency Audit36371. **Extract** all defined terms from the methods section382. **Search** for each term across ALL sections393. **Flag** any inconsistent usage:40 - Same concept, different names (e.g., "tag head" vs "classification head")41 - Same name, different meanings across sections42 - Defined but never used, or used but never defined4344### 3. Code-Paper Alignment4546For each method described in the paper:47481. **Find** the corresponding code (function, class, module)492. **Compare** the paper's description with the actual implementation503. **Check** specifically:51 - Algorithm steps match code flow52 - Hyperparameters in text match config/code defaults53 - Architecture descriptions match model code54 - Loss functions in equations match loss code55 - Training procedures match training scripts5657Common mismatches:58- Paper describes an idealized version, code has edge cases not mentioned59- Hyperparameters changed during development but paper not updated60- Paper describes a method that was later modified or removed from code6162### 4. Formula-Code Verification6364For each equation in the paper:65661. **Identify** the equation and its variables672. **Find** the code that implements it683. **Map** each mathematical operation to its code equivalent694. **Verify**:70 - Summation bounds match loop bounds71 - Division operations handle edge cases72 - Normalization factors match73 - Gradient flow matches (detach, no_grad)74 - Reduction operations (mean vs sum) match7576### 5. Citation Fact-Checking Protocol7778For each citation in the paper:7980**Step 1**: Extract the claim and the cited paper81**Step 2**: Verify BibTeX metadata against DBLP:82- Author names (exact spelling, correct order)83- Paper title (exact, from published version not preprint)84- Venue and year (confirmed against actual publication)8586**Step 3**: For cited claims with specific numbers:87- Locate the exact table/figure in the cited paper88- Verify the number matches what the citing paper states89- If the number cannot be confirmed, suggest qualitative language instead9091**Step 4**: Check for common citation errors:92- Citing preprint when published version exists93- Wrong year (submission vs publication)94- Author name misspellings95- Citing for a claim the paper doesn't actually make9697## Verification Process98991. Read the full paper (or specified sections)1002. Build the verification table for each dimension1013. For each entry, read the source and verify1024. Produce a prioritized issue list:103 - **HIGH**: Incorrect numbers, wrong claims, missing citations104 - **MEDIUM**: Terminology inconsistencies, stale but close numbers105 - **LOW**: Minor formatting, optional improvements106107## Output Format108109Produce a structured verification report:1101111. **Summary**: X issues found (Y high, Z medium, W low)1122. **Numerical audit table**: each number with source and match status1133. **Terminology issues**: inconsistent terms with locations1144. **Code-paper mismatches**: description vs implementation gaps1155. **Citation issues**: metadata errors and unverified claims1166. **Suggested fixes**: specific text replacements for each issue