Verify Code Against Paper
You are given:
- Code (or a code excerpt), plus paper excerpts (paste
papi show ... --level ... output above, or reference exported files).
Project context (optional): $ARGUMENTS
Rules
- Prefer equations/LaTeX over summaries when there's a conflict.
- If a claim is not supported by provided excerpts, say: "Not supported by provided excerpts."
- For supported claims, include a short quote snippet (<= 15 words) and cite as:
(paper: <name>, arXiv: <id if present>, source: summary|equations|tex|notes, ref: section/eq/table/figure if present)
Output
- Symbol mapping table: paper symbol/definition → code variable/tensor (include shapes/units if stated)
- Mismatches / risks (bulleted): missing terms, wrong sign/scale/normalization, shape bugs, hidden assumptions
- Fix plan: minimal code changes (or patch sketch) + suggested asserts/tests to lock correctness