Pith Number

pith:QCBSLD4S

pith:2022:QCBSLD4SWIGU7TWOXAP7TUKAQ7

not attested not anchored not stored refs pending

FOLIO: Natural Language Reasoning with First-Order Logic

Alexander R. Fabbri, Alex Wardle-Solano, Ansong Ni, Arman Cohan, Brian Wong, Caiming Xiong, David Peng, Dragomir Radev, Ekaterina Zubova, Hailey Schoelkopf, Hannah Szabo, James Coady, Jonathan Fan, Jungo Kasai, Linyong Nan, Lucy Sun, Luke Benson, Malcolm Sailor, Martin Riddell, Matthew Burtell, Rex Ying, Rui Zhang, Semih Yavuz, Shafiq Joty, Simeng Han, Tao Yu, Wenfei Zhou, Wojciech Kryscinski, Xi Victoria Lin, Ye Liu, Yilun Zhao, Yingbo Zhou, Yixin Liu, Yujie Qiao, Zhenting Qi

arxiv:2209.00840 v3 · 2022-09-02 · cs.CL

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{QCBSLD4SWIGU7TWOXAP7TUKAQ7}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Cited by

11 papers in Pith

SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding

Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

Scaling with Confidence: Calibrating Confidence of LLMs for Adaptive Test Time Scaling

Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden States

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale

Receipt and verification

First computed	2026-07-05T09:19:22.554046Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

8083258f92b20d4fceceb81ff9d14087ddf2422d0c6725e5be4213be28631b5e

Aliases

arxiv: 2209.00840 · arxiv_version: 2209.00840v3 · doi: 10.48550/arxiv.2209.00840 · pith_short_12: QCBSLD4SWIGU · pith_short_16: QCBSLD4SWIGU7TWO · pith_short_8: QCBSLD4S

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/QCBSLD4SWIGU7TWOXAP7TUKAQ7 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 8083258f92b20d4fceceb81ff9d14087ddf2422d0c6725e5be4213be28631b5e

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "c06ef0bc42bd72adad9d480230fccd0e0f2d2fcb252357014f0d620db73f3a06",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.CL",
    "submitted_at": "2022-09-02T06:50:11Z",
    "title_canon_sha256": "4e5189ba1f9be9acd5013358e3293fed2e1e0dba59f878c61cf46219402c7b66"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2209.00840",
    "kind": "arxiv",
    "version": 3
  }
}