update paper link, references to dataset, self-correction differences

[stephencge]

Summary by CodeRabbit

• Documentation
  • Updated release notes with clearer explanations of dataset filtering criteria and evaluation methodology.
  • Enhanced descriptions of model training and theorem proving processes with additional context and references.
  • Added clarifying annotations in results tables explaining evaluation configuration and model behavior differences.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[coderabbitai]

📝 Walkthrough

Walkthrough

Documentation updates to the Nemotron Math Proofs release page, including rewording the Natural Language Problems section with filtering criteria, adding paper references, annotating training results with footnotes, expanding sections with evaluation methodology details, clarifying dataset field descriptions, and updating CLI/Python sections with dataset linkage.

Changes

Cohort / File(s)	Summary
Documentation Updates docs/releases/nemotronmathproofs/index.md	Rewording Natural Language Problems section with explicit filtering criteria; added paper references; reformatted training results table with pass@32 annotations; expanded sections with self-correction attempt details; clarified input field descriptions; updated CLI/Python sections with dataset field references

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~5 minutes

• Documentation-only changes affecting a single file
• Primary activities: content rewording, clarifications, and contextual additions
• No code logic or functional changes to review

Possibly related PRs

• update paper link #1128: Updates documentation to add and replace Nemotron math paper references in dataset documentation
• Stepheng/nemotron math proofs docs #1111: Adds the initial Nemotron-Math-Proofs documentation page and mkdocs navigation entry

Suggested reviewers

• gwarmstrong
• Kipok

Pre-merge checks and finishing touches

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title accurately summarizes the main changes: updating paper link references, dataset references, and documenting self-correction differences in the documentation.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch docs/nemotron-math-proofs-updates

---

📜 Recent review details

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 1cac9db and 6027d0b.

📒 Files selected for processing (1)

• docs/releases/nemotronmathproofs/index.md (5 hunks)

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (1)

• GitHub Check: pre-commit

🔇 Additional comments (3)

docs/releases/nemotronmathproofs/index.md (3)

33-42: Well-executed table annotations with clear footnote explanations.

The footnotes effectively explain the self-correction differences between models and pipeline limitations. The subsequent narrative block (lines 41-42) provides good context for the second table.

---

1-382: Comprehensive documentation update with clear methodology explanations.

The changes effectively communicate dataset composition, training results, and reproduction workflows. The addition of footnotes explaining self-correction differences and field references linking to dataset documentation improves clarity.

---

Summary

Your documentation updates look solid overall. The main items needing verification are:

1. Paper link validity (line 19): The arXiv link format appears standard but should be confirmed as published/accessible.

2. Dataset field names (lines 62-64, 138-139, 210-211): The referenced fields (problem, formal_statement, lean_header, messages) should be verified against the actual dataset schema to prevent user confusion if field names differ.

3. External links: All HuggingFace dataset links should resolve correctly.

The structural and informational changes—footnotes explaining self-correction differences, narrative blocks clarifying evaluation methodology, and field-level documentation—are well-executed and align with the PR objectives.

---

16-19: Verify arXiv paper link accessibility and correctness.

The documentation references an arXiv paper at https://arxiv.org/abs/2512.15489 for details on problem sources and extraction pipeline. The paper ID could not be verified as published or accessible. Confirm this link is correct and live before publication, or provide alternative documentation if the paper is not yet published.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}