# The DRAT format and DRAT-trim checker

arXiv: https://arxiv.org/abs/1610.06229 · HTML: https://mlsanity.com/paper/1610.06229/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 19 Oct 2016.

## Built on by (most cited first, 3 of 3)

- [The Packing Chromatic Number of the Infinite Square Grid is 15](https://mlsanity.com/paper/2301.09757/) (2023)
- [SATViz: Real-Time Visualization of Clausal Proofs](https://mlsanity.com/paper/2209.05838/) (2022)
- [Target-Aware Data Augmentation for SAT Prediction](https://mlsanity.com/paper/2605.06931/) (2026)

## Abstract (arXiv)

This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.