Instructions to use MischaQI/R3Check with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use MischaQI/R3Check with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("MischaQI/R3Check", device_map="auto") - Notebooks
- Google Colab
- Kaggle
# Load model directly
from transformers import AutoModel
model = AutoModel.from_pretrained("MischaQI/R3Check", device_map="auto")Model Card
R³Check is a large language model specifically trained for complex multi-hop fact-checking through iterative evidence retrieval and structured reasoning.
It is built upon Qwen2.5-7B-Instruct and trained using a rule-guided reinforcement learning framework based on Group Relative Policy Optimization (GRPO). Unlike supervised fine-tuning approaches that require annotated reasoning trajectories, R³Check relies only on final claim-veracity labels and rule-based format rewards.
The model follows a structured retrieval–reasoning protocol:
- Structured reasoning: The model analyzes the claim and decomposes it into verifiable components within
<think>tags. - Iterative retrieval: When additional evidence is required, the model generates search queries within
<search>tags and receives retrieved passages through<information>tags. - Evidence-grounded verification: The model reasons over the accumulated evidence and may issue additional searches when information is incomplete.
- Final prediction: The model produces a binary veracity judgment,
TrueorFalse, within<answer>tags.
R³Check is trained using a two-stage difficulty-incremental curriculum:
- Stage 1 — Reasoning Reinforcement: The model learns structured, evidence-grounded reasoning in a closed fact-checking setting using gold evidence.
- Stage 2 — Reasoning–Retrieval Coordination: The model jointly learns iterative retrieval and reasoning by interacting with an external retriever in real time.
An importance-based bucket sampling strategy is additionally used to emphasize informative training examples and improve the effectiveness of GRPO optimization.
Model Sources
Citation
@inproceedings{qi2026r3check,
author = {Qi, Peng and Zhao, Yuyang and Hsu, Wynne and Lee, Mong Li},
title = {R3Check: Reinforcement Learning for Iterative Retrieval and Structured Reasoning in Complex Fact Checking},
booktitle = {Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval},
year = {2026},
pages = {1473--1484},
publisher = {Association for Computing Machinery},
doi = {10.1145/3805712.3809601}
}
# Gated model: Login with a HF token with gated access permission hf auth login