Pith Number

pith:VZ45MGI7

pith:2024:VZ45MGI7HJF246S25H22NB7V36

not attested not anchored not stored refs pending

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

Feitong Qiao, Leyi Cui, Mark Santolucito, Nathan Koenig, Nikolaus Holzer, Raven Rothkopf, William Murphy

arxiv:2406.07400 v1 · 2024-06-11 · cs.LG · cs.LO

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{VZ45MGI7HJF246S25H22NB7V36}

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

4 papers in Pith

As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

Truth or Sophistry? LoFa: A Benchmark for LLM Robustness Against Logical Fallacies

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation

Receipt and verification

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

Canonical hash

ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4

Aliases

arxiv: 2406.07400 · arxiv_version: 2406.07400v1 · doi: 10.48550/arxiv.2406.07400 · pith_short_12: VZ45MGI7HJF2 · pith_short_16: VZ45MGI7HJF246S2 · pith_short_8: VZ45MGI7

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/VZ45MGI7HJF246S25H22NB7V36 \
  | 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: ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "9322ac9ae201e72803fd3c314cb726e223bbfe5b26a09353d70dd4ad19596540",
    "cross_cats_sorted": [
      "cs.LO"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-sa/4.0/",
    "primary_cat": "cs.LG",
    "submitted_at": "2024-06-11T16:07:24Z",
    "title_canon_sha256": "8ce3d4695532318c5da5ea500337508d9fc517dfb5af16919229910c47529fb2"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2406.07400",
    "kind": "arxiv",
    "version": 1
  }
}