{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ENHDF4S4DQOUNPE6RGQEABYPKE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a76e05b478875b1e9881d89c150d2720db652cc037b26e049231668d81568316","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-10T23:07:01Z","title_canon_sha256":"ec3b66dca4bbfdb4093ac80ed8ecc7187d10af5ebdc4f358b2e30baa8710a91a"},"schema_version":"1.0","source":{"id":"2310.07064","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.07064","created_at":"2026-07-05T09:52:08Z"},{"alias_kind":"arxiv_version","alias_value":"2310.07064v3","created_at":"2026-07-05T09:52:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.07064","created_at":"2026-07-05T09:52:08Z"},{"alias_kind":"pith_short_12","alias_value":"ENHDF4S4DQOU","created_at":"2026-07-05T09:52:08Z"},{"alias_kind":"pith_short_16","alias_value":"ENHDF4S4DQOUNPE6","created_at":"2026-07-05T09:52:08Z"},{"alias_kind":"pith_short_8","alias_value":"ENHDF4S4","created_at":"2026-07-05T09:52:08Z"}],"graph_snapshots":[{"event_id":"sha256:8d700d442b554f1132f08c490a8fa12464580cdd4edc721976f10a109992ded9","target":"graph","created_at":"2026-07-05T09:52:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2310.07064/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When prompted with a few examples and intermediate steps, large language models (LLMs) have demonstrated impressive performance in various reasoning tasks. However, prompting methods that rely on implicit knowledge in an LLM often generate incorrect answers when the implicit knowledge is wrong or inconsistent with the task. To tackle this problem, we present Hypotheses-to-Theories (HtT), a framework that learns a rule library for reasoning with LLMs. HtT contains two stages, an induction stage and a deduction stage. In the induction stage, an LLM is first asked to generate and verify rules ove","authors_text":"Dale Schuurmans, Denny Zhou, Hanjun Dai, Jian Tang, Xinyun Chen, Yuan Xue, Zhaocheng Zhu","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-10T23:07:01Z","title":"Large Language Models can Learn Rules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.07064","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6012761268e22f5240028f2e48adf9175284c0a2bb14a475b692754d31dd08e4","target":"record","created_at":"2026-07-05T09:52:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a76e05b478875b1e9881d89c150d2720db652cc037b26e049231668d81568316","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-10T23:07:01Z","title_canon_sha256":"ec3b66dca4bbfdb4093ac80ed8ecc7187d10af5ebdc4f358b2e30baa8710a91a"},"schema_version":"1.0","source":{"id":"2310.07064","kind":"arxiv","version":3}},"canonical_sha256":"234e32f25c1c1d46bc9e89a040070f513c1364bfb1188a665dbda75a0fba3feb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"234e32f25c1c1d46bc9e89a040070f513c1364bfb1188a665dbda75a0fba3feb","first_computed_at":"2026-07-05T09:52:08.605261Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:52:08.605261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eZ4ns7L0xKh9vgK/AD+uKFkccj4D2CCf8toLMkLjfZmhqkaHXEskaNuL0ey/IT1ly1ryCY8xYkdGAZDZNHT2Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:52:08.605767Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.07064","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6012761268e22f5240028f2e48adf9175284c0a2bb14a475b692754d31dd08e4","sha256:8d700d442b554f1132f08c490a8fa12464580cdd4edc721976f10a109992ded9"],"state_sha256":"2aeae2a8e3972427b3e30a7daea3a3a69062d9cabf69615a13f86aaf27ac4bf2"}