{"as_of":"2026-08-08T22:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:099769dec43fa3b1961059862b9681ea480be1fcb249ee072219b23896026d1f","coverage":[{"denominator":94,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":94,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T03:48:35.919761Z","state":"measured"},{"denominator":94,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":94,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.23055/citation-record","integrity":"/paper/2607.23055/integrity","json":"/paper/2607.23055/citation-record.json","paper":"/paper/2607.23055"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-01T03:48:24.073119Z","title":"GPT-4 technical report.arXiv preprint arXiv:2303.08774,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:24.073119Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:7a8fb5d86cf044bbd816de4dcf6b3dea692c6e95b1b8661979da3a206d3eb086","observation_id":"7c2268f4-f35c-475e-994a-6a94c1c76a8c","resolution":{"observed_at":"2026-08-01T03:48:24.073119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-01T03:48:24.643433Z","title":"DeepSeek-R1: Incentivizing reasoning capabil- ity in LLMs via reinforcement learning.arXiv preprint arXiv:2501.12948,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:24.643433Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:eec18b5f7fde36dfe3083e012dbef8ac6379d8210b7e43f853c3e2f67bd69e16","observation_id":"949ce91c-749b-4877-b5da-a9a4214223d8","resolution":{"observed_at":"2026-08-01T03:48:24.643433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:24.908078Z","title":"[Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Ji- ahua Hong, Zhen Wang, Daisy Zhe Wang, and Zhiting Hu","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:24.908078Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:0263899585f6153411ff34ef454b72755604b12eef622eac17b2fd189fda3bc8","observation_id":"dcaac27f-db5b-4634-a3a8-32c47e607a17","resolution":{"observed_at":"2026-08-01T03:48:24.908078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:25.033197Z","title":"[Hoffmann and Nebel, 2001] J¨org Hoffmann and Bernhard Nebel","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.033197Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6b752ff0558724711557079a43c0f40b424e499766a0556a6725eba3505d0dd8","observation_id":"0e1c8c33-3492-4a2e-955c-8951b7369752","resolution":{"observed_at":"2026-08-01T03:48:25.033197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:25.221840Z","title":"Large language models are zero-shot reasoners","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.221840Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6d7c4dcdb341f3254dd14f4d14549904819dc863c1cf71d1d9c1848414794443","observation_id":"d5cd3892-7eea-44c8-8efa-a7ca46cd0395","resolution":{"observed_at":"2026-08-01T03:48:25.221840Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:25.755897Z","title":"Reflexion: Language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.755897Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3bc86c488519063ffe704aa45b4a0108bf15b06c06464993a933388b9627f7c3","observation_id":"10058186-2938-4541-94d1-ee68c3656dc9","resolution":{"observed_at":"2026-08-01T03:48:25.755897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.289626Z","title":"Griffiths, Yuan Cao, and Karthik Narasimhan","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.289626Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:19eadbfff9b6173e7b011554a8e936412bfaa64ef7a9a211d3c5fec398c48f07","observation_id":"9fa69dfd-dec5-4f92-9dee-54c01e93173c","resolution":{"observed_at":"2026-08-01T03:48:26.289626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.414206Z","title":"Least-to-most prompting enables complex reasoning in large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.414206Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:ac41a9edfd70b54a370edd904dc4dd47a1b6049948691f32f0b27e0e807bc7b2","observation_id":"f4699133-bd18-48bd-ad44-7e7bf8e6eec4","resolution":{"observed_at":"2026-08-01T03:48:26.414206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.481056Z","title":"Natural Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.481056Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a24965d425897fe4685c3d0dfa105bd0c1c8a3247320a9538ca4f6ed1adbf918","observation_id":"4f9121e5-5005-4d56-a5f2-45060ef61ced","resolution":{"observed_at":"2026-08-01T03:48:26.481056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-01T03:48:26.550412Z","title":"Bob lives in the blue house","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.550412Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:eb282fa6de7c7c6643e4223670a37653fe3b89f89b2456f9e1dae7c08e1e4f89","observation_id":"8a0b35ef-98ea-451b-a9db-5500254e17fb","resolution":{"observed_at":"2026-08-01T03:48:26.550412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.641016Z","title":"McGuinness, Daniele Nardi, and Peter F","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.641016Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:b500d03634422ca1338f74cadf74c13700c56d26de4fd5371380051f1ea8274f","observation_id":"e8820fef-5952-4df3-b3b5-6b8264fae960","resolution":{"observed_at":"2026-08-01T03:48:26.641016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.885579Z","title":"Logical reasoning for task oriented dia- logue systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.885579Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:17fedf0cea5eb29e1dd5bae728e89fe76fa733099d7f350e378399b78798a24d","observation_id":"15cf7c86-93a7-4289-bd6f-4834f00879d4","resolution":{"observed_at":"2026-08-01T03:48:26.885579Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.03315","last_updated":"2021-02-05T17:41:43Z","snapshot_observed_at":"2026-08-04T00:22:28.888492Z","submitted_at":"2021-02-05T17:41:43Z","title":"Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.03315","snapshot_observed_at":"2026-08-01T03:48:26.974882Z","title":"Think you have solved direct-answer question answering? try arc-da, the direct-answer AI2 reasoning challenge","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.974882Z"},"links":{"cited_paper":"/paper/2102.03315","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:8bcfc8cfda4812146d363b78bb1b442a067e777bdbb52d76f0e91914d92450fc","observation_id":"0b2e32fc-a8ac-4aeb-accf-95852374aef5","resolution":{"observed_at":"2026-08-01T03:48:26.974882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.118352Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.118352Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a02347f41deea906d3f3dca52bd7cd671651009301b425d751dd6525c6bfe468","observation_id":"f1dd98f6-a837-4ab6-942a-2c32548a91de","resolution":{"observed_at":"2026-08-01T03:48:27.118352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.386351Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.386351Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2b4b56bb1d7fee109732351e55af6fd7f76848dab23b650f82624ee096e11f59","observation_id":"ad8b9fca-01b5-47ec-9dc5-8eb3ac691e8a","resolution":{"observed_at":"2026-08-01T03:48:27.386351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-01T03:48:27.514737Z","title":"Training verifiers to solve math word problems.ArXiv, abs/2110.14168,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.514737Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:b3fc4fe482c63a2d05d7c6960979d082a681851ca165569ad3d67c60ee6541c0","observation_id":"cae15946-3e07-44f4-83b7-cb221b82d01a","resolution":{"observed_at":"2026-08-01T03:48:27.514737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.671709Z","title":"d’Avila Garcez, Lu´ıs C","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.671709Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:9be50072088e850130ebc6b307ead36eae28441b662e26bbf01aa5485994831c","observation_id":"1a75a16b-7921-4263-839f-1344072119d3","resolution":{"observed_at":"2026-08-01T03:48:27.671709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.041690Z","title":"Pal: program-aided lan- guage models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.041690Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:194d994dae4b209ef4c4167c3f842c2642d9baa60fc5ec39cac952b9d6933cc5","observation_id":"83dd3893-656a-4d2d-8b8f-12383e7e99df","resolution":{"observed_at":"2026-08-01T03:48:28.041690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.161452Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.161452Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:0adc4595a1d6c98c38f3296ddc6c8198a259269494563892f8ec7ab40ecd074e","observation_id":"739d90df-1804-4910-80bd-fcd92484dba4","resolution":{"observed_at":"2026-08-01T03:48:28.161452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.251053Z","title":"The stable model semantics for logic programming","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.251053Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:73d70f2a04c4bfbae60a780dc910003b4a001a1d0e3afc1accbd6b5e1fd312c8","observation_id":"f49fbb5b-3675-4c40-98a5-a1d1d89aebee","resolution":{"observed_at":"2026-08-01T03:48:28.251053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.498251Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.498251Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6e26ac05ad7250403c0db09568788eee2e01c3dbf7566bc73ebb0d86a9c8f4bc","observation_id":"5678c7ab-6fbe-4ffd-82f8-df9751ea872c","resolution":{"observed_at":"2026-08-01T03:48:28.498251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.565830Z","title":"FOLIO: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.565830Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:491c3c3fd06c7d35a6cb049a855f8ad4e49da9c6f3858e9e1057c0b3366e49a4","observation_id":"771b2a4a-a757-40b9-bbd3-1204905cfcec","resolution":{"observed_at":"2026-08-01T03:48:28.565830Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.753927Z","title":"[Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Hong, Zhen Wang, Daisy Wang, and Zhiting Hu","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.753927Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:e863646b4aaa59b70c0d497494f8e84a8ed43eb06060fed62479f782a03dd124","observation_id":"509d175b-2c24-4d4c-b80b-351b854d24d1","resolution":{"observed_at":"2026-08-01T03:48:28.753927Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.892256Z","title":"[Hendryckset al., 2021 ] Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.892256Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3176b165f1a6e1183dafcceafcc42956f06b177338c241553feb3f671f5a2930","observation_id":"98722158-b445-43ba-91e0-416cf18053d6","resolution":{"observed_at":"2026-08-01T03:48:28.892256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.048018Z","title":"The ff planning system: fast plan generation through heuristic search","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.048018Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:83d067bcd84f024c5ad58b1a45b66b67a574fafa895b13426bb39b98a6371e65","observation_id":"e96b2a69-1257-495b-8b7b-035795842c92","resolution":{"observed_at":"2026-08-01T03:48:29.048018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.173122Z","title":"Thought cloning: Learning to think while acting by imitating human thinking","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.173122Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:784d42f06185dceed93b2c01f421d82d7477ab2a0b4774e2c9b9495ee5cef501","observation_id":"c8c120d4-2141-4d57-8da5-09b25d08266c","resolution":{"observed_at":"2026-08-01T03:48:29.173122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.330278Z","title":"Inner monologue: Embodied reasoning through plan- ning with language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.330278Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:07db10d83b7eb11746a7eeddea8294784207f952568b214e87f7088816cf4d61","observation_id":"42efa2ef-88d4-4b85-94bb-e08e784d9d08","resolution":{"observed_at":"2026-08-01T03:48:29.330278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.02716","last_updated":"2024-02-05T04:25:24Z","snapshot_observed_at":"2026-07-06T17:25:14.115360Z","submitted_at":"2024-02-05T04:25:24Z","title":"Understanding the planning of LLM agents: A survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.02716","snapshot_observed_at":"2026-08-01T03:48:29.481664Z","title":"Understanding the planning of LLM agents: A survey.arXiv preprint arXiv:2402.02716,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.481664Z"},"links":{"cited_paper":"/paper/2402.02716","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6ddb28ffec33ee1a1438097936ff81ba6fb12f433ec47b2005184d06b08f1b09","observation_id":"0a07c1d2-e6ce-499a-8763-7ce3939ec342","resolution":{"observed_at":"2026-08-01T03:48:29.481664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.618194Z","title":"Joshi, Kyle Jeffrey, Rosario Jauregui Ruano, Jasmine Hsu, Keerthana Gopalakrishnan, Byron David, Andy Zeng, and Chuyuan Kelly Fu","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.618194Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:082812712e1dca85317eb12579127e7c41e0d525e23510877460384d37238ca3","observation_id":"d4a6690c-4ba6-4321-9c76-c813285c30cd","resolution":{"observed_at":"2026-08-01T03:48:29.618194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.700459Z","title":"Position: Llms can’t plan, but can help plan- ning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.700459Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:f4c3b9f928baf249f15edd9e5eb3da5ed7c17ad4e5bf54327bf3aa859279601f","observation_id":"e706f2bc-74ab-432a-992b-e1b84261dc80","resolution":{"observed_at":"2026-08-01T03:48:29.700459Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.761874Z","title":"Large language models are zero-shot reasoners","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.761874Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:068893189439a8232ecd8e74b924342649b36a7477fd89692985df942665f9c0","observation_id":"94051387-b890-476f-9908-37c48ef3c037","resolution":{"observed_at":"2026-08-01T03:48:29.761874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.846219Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.846219Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:f40e930348e0933f78072ef5cc624a7933d39df0611336c79081c17b81f844c3","observation_id":"d803aaed-3731-401d-9ddf-05f2f1b02be3","resolution":{"observed_at":"2026-08-01T03:48:29.846219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:29.937175Z","title":"Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:29.937175Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:e575c12c7ba9e78dec4cf41d73cb59ff6fc39e28e1a1fcf7eae79ae40c919488","observation_id":"5b8667c4-1557-4f89-a83c-769fcfa7a003","resolution":{"observed_at":"2026-08-01T03:48:29.937175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.018453Z","title":"Code as policies: Language model pro- grams for embodied control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.018453Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:cef5223b5c9717e96a91aad16b08d33e675e5a71e8f924f751ad53f4b10955e7","observation_id":"14e758d3-a2f1-4604-b5ef-8cbd504d2385","resolution":{"observed_at":"2026-08-01T03:48:30.018453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.091208Z","title":"Let’s Verify Step by Step","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.091208Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6c6aaded7718e1c41890dcd1ee31cd8a7113eaf56cb2165ab33bfe114050a88c","observation_id":"64c062c8-ab28-4c98-88ea-c66a887ca733","resolution":{"observed_at":"2026-08-01T03:48:30.091208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.115724Z","title":"Zebralogic: On the scaling limits of llms for logical reasoning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.115724Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:ac1ed316e4fc39898cbe022a9987d21dcdf05c40ed55456020ac986abce509bf","observation_id":"dbd8ccb4-ab97-4f8e-b35e-2a149bbddd22","resolution":{"observed_at":"2026-08-01T03:48:30.115724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.199589Z","title":"Program induction by rationale generation: Learning to solve and explain algebraic word problems","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.199589Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:8039e359f558e80dcda659f98be7aeca11c96fec58efe0aeb3b15e9724ef9db3","observation_id":"8d227d03-e6d9-4e47-9a52-b966bce01da4","resolution":{"observed_at":"2026-08-01T03:48:30.199589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03872","last_updated":"2023-10-03T19:48:22Z","snapshot_observed_at":"2026-08-03T19:18:54.521205Z","submitted_at":"2023-06-06T17:18:56Z","title":"Deductive Verification of Chain-of-Thought Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03872","snapshot_observed_at":"2026-08-01T03:48:30.401998Z","title":"[Liuet al., 2023 ] Bo Liu, Yuqian Jiang, Xiaohan Zhang, Qiang Liu, Shiqi Zhang, Joydeep Biswas, and Pe- ter Stone","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.401998Z"},"links":{"cited_paper":"/paper/2306.03872","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a895eb5edae9231a475a201db27c37f39fe6952d364bcc839288e56f5d8e4397","observation_id":"2793cdb9-77d7-464b-ac64-e1a4a14ea7fc","resolution":{"observed_at":"2026-08-01T03:48:30.401998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.553767Z","title":"Agentbench: Eval- uating llms as agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.553767Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:f6a51cc88e69898cc968867ba06bddfd7d1d2e145108f01a2d21e95ecc0033ad","observation_id":"9f60c6f6-2f7e-4663-9501-f8c53d2cf7dd","resolution":{"observed_at":"2026-08-01T03:48:30.553767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.711452Z","title":"Faithful chain-of-thought rea- soning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.711452Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:71c417cbf47ca45557c18e6a8e3845ebca00a3f2792d2bd92895c54a8944ef07","observation_id":"2f893b6b-e84d-46f7-9894-d4ddae3a2f66","resolution":{"observed_at":"2026-08-01T03:48:30.711452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.768225Z","title":"[Mackworth, 1977] Alan K","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.768225Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:5505440856278e0abce85d9d5dafdd876e701a52b9f307b96b8b2010e79ba6f6","observation_id":"9d221afc-d7cf-42f8-b22d-b9ece5147f9a","resolution":{"observed_at":"2026-08-01T03:48:30.768225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.919235Z","title":"Self-refine: Iterative refinement with self-feedback","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.919235Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:1c02556ef2870ff7204de2666e5c665275bd6d58c19d904c0e79befe62d7cdee","observation_id":"aac88d5e-22f7-4f1a-8cc8-43fd54567def","resolution":{"observed_at":"2026-08-01T03:48:30.919235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.027258Z","title":"McCarthy and P","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.027258Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2a31e64e90796d984845cd23d1ffb8ec3ae93cf4a55b3211850da5bd1d882b5e","observation_id":"7a808722-f2d0-484f-9ccf-dc0f8e93a2d2","resolution":{"observed_at":"2026-08-01T03:48:31.027258Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.547146Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.547146Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:d6b7a52c82110bbdad00fe58b0a5d75507596f5214cc55fad4d1bca7f8d9b9cf","observation_id":"f07f0526-7ee0-42c7-b118-86661f4b0c32","resolution":{"observed_at":"2026-08-01T03:48:31.547146Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.727668Z","title":"Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.727668Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:c1f776fed0165662e3920353be081ec9e8959304420d7345de741af54e42ddc4","observation_id":"5d62ee22-11e9-48d6-9afb-caf427d517fc","resolution":{"observed_at":"2026-08-01T03:48:31.727668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.896968Z","title":"Multi-logieval: Towards evaluating multi-step logical reasoning ability of large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.896968Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:858b6381fdb4adad0ed2e77374b8d5041caa9f11e428a5cffe38f5ba490bf1d7","observation_id":"2cc3b179-59db-4abc-a5b4-9584cdac4e49","resolution":{"observed_at":"2026-08-01T03:48:31.896968Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.006455Z","title":"Mea- suring and narrowing the compositionality gap in lan- guage models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.006455Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:55ccdaa792a4b84402032b35276f499f79fb12d481342bda689d41857455d384","observation_id":"3a6d10aa-74f8-4918-acc3-cb6ef33578a5","resolution":{"observed_at":"2026-08-01T03:48:32.006455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.124295Z","title":"[Puiget al., 2018 ] Xavier Puig, Kevin Ra, Marko Boben, Jiaman Li, Tingwu Wang, Sanja Fidler, and Antonio Tor- ralba","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.124295Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6129926e7998654313dcf4c07706c6658e24c6ca0715ac985f68419bae56d4f8","observation_id":"e4ab27d4-3568-449a-b125-ff1caacc4982","resolution":{"observed_at":"2026-08-01T03:48:32.124295Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.604803Z","title":"Textgraphs 2024 shared task on text-graph representations for knowledge graph question answering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.604803Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:fbf6c559747fcf77bb601675c1403d66044d07d300dc56fa288a9eeffeaa3c6f","observation_id":"53dbe92a-1746-47f7-9d27-dc77fc6b1d45","resolution":{"observed_at":"2026-08-01T03:48:32.604803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.726740Z","title":"[Schicket al., 2023 ] Timo Schick, Jane Dwivedi-Yu, Roberto Dess ´ı, Roberta Raileanu, Maria Lomeli, Eric Hambro, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.726740Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:99182ac9bc0ec05799a1501885296e8d9c36c2e48e1eb86b160c88cdd88a8956","observation_id":"e4a409ad-8118-4f24-b7a0-c6fd568a6147","resolution":{"observed_at":"2026-08-01T03:48:32.726740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.901618Z","title":"Hug- ginggpt: Solving ai tasks with chatgpt and its friends in hugging face","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.901618Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:fe14f217d591a694fb12c5148a05342009ef3937d97cecedea35b8d6bfae4f06","observation_id":"7ab782ca-cbe3-480e-a8dd-2cd1e8b7e5c7","resolution":{"observed_at":"2026-08-01T03:48:32.901618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.069519Z","title":"Reflexion: language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.069519Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:245ac258ef03fdff6e5e2cdfc8f94fbe97ddba98de448a80e38ef04f32fe6384","observation_id":"fe20c824-fe47-4c9b-b2d9-761d13c0c9fb","resolution":{"observed_at":"2026-08-01T03:48:33.069519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.228569Z","title":"ALFRED: A benchmark for interpreting grounded instructions for everyday tasks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.228569Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:23933ba3d25bff23e5546ee6ddbd2067fecc513b99ed1cc20251a7b6228b1db8","observation_id":"ced260e1-2862-47f3-b06f-0f2c99a138ae","resolution":{"observed_at":"2026-08-01T03:48:33.228569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.636162Z","title":"Tenenbaum, Leslie Pack Kaelbling, and Michael Katz","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.636162Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:aa780df34e2a4a7ec2e71045434de46a693b3c3f07562b006b4dc07c1e3089c9","observation_id":"3874ce93-c6f0-43e8-b35c-deef5da6fe00","resolution":{"observed_at":"2026-08-01T03:48:33.636162Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.810544Z","title":"ProgPrompt: Generating situated robot task plans us- ing large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.810544Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:07e27ff3b80d8f0ef4489360f3bf7e7d30b604f159eb19980267564ed941289d","observation_id":"bf4e89ac-3a27-4440-bb00-a86ce21f931d","resolution":{"observed_at":"2026-08-01T03:48:33.810544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.978345Z","title":"Smolensky","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.978345Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2ba679a194a6290ffb778dd1b387ce58d4a3c3269eb07e640bfcfc3856f7b0e9","observation_id":"74a451ce-e691-44b9-a685-725f67d840f5","resolution":{"observed_at":"2026-08-01T03:48:33.978345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:34.259596Z","title":"Sadler, Wei-Lun Chao, and Yu Su","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.259596Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:02adee6b580eeda87627a887d2f845afe9ed6154e0f9e19df1e15a224df57f86","observation_id":"560c1f2d-2e7c-4f6a-bd22-c5aaeb81eb0c","resolution":{"observed_at":"2026-08-01T03:48:34.259596Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.04615","last_updated":"2023-06-12T17:51:15Z","snapshot_observed_at":"2026-07-06T13:19:12.109592Z","submitted_at":"2022-06-09T17:05:34Z","title":"Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.04615","snapshot_observed_at":"2026-08-01T03:48:34.362681Z","title":"Beyond the imitation game: Quantifying and extrapolating the capabilities of lan- guage models.arXiv preprint arXiv:2206.04615,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.362681Z"},"links":{"cited_paper":"/paper/2206.04615","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:e53392837f2b5992dfee23563b85996de82b85294649c12b79a409dec18c55db","observation_id":"5579803e-336c-4cdc-be1d-8fff90bea5e9","resolution":{"observed_at":"2026-08-01T03:48:34.362681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:34.515816Z","title":"Griffiths","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.515816Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:d27b423454a8b3db5fd1054b18f149f86230553f6b6f6eb6e71b5ca1e6c39605","observation_id":"a37cf015-7c4b-485b-8af8-72555515e11b","resolution":{"observed_at":"2026-08-01T03:48:34.515816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.09261","last_updated":"2022-10-17T17:08:26Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-17T17:08:26Z","title":"Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.09261","snapshot_observed_at":"2026-08-01T03:48:34.630116Z","title":"Le, Denny Zhou, William Fedus, et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.630116Z"},"links":{"cited_paper":"/paper/2210.09261","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:c753057a56166c69fe20944c238aab905f820c74900afe2888c0cf2a80373d8f","observation_id":"2e94ecff-dd52-46a8-bc5e-f4fc8b11f4ba","resolution":{"observed_at":"2026-08-01T03:48:34.630116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:34.753005Z","title":"ProofWriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.753005Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:d2ae5f73b502bda54962db692a7890fa68e56d4d7168dcbba296ec311a8dc898","observation_id":"1b8e6f84-9def-4a1f-9d94-cf3c0d83c41a","resolution":{"observed_at":"2026-08-01T03:48:34.753005Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:34.891975Z","title":"[Talmoret al., 2019 ] Alon Talmor, Jonathan Herzig, Nicholas Lourie, and Jonathan Berant","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.891975Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:5bfcb39acbc68dc322967ad813ed8882addb89167d133966cb0813532674b735","observation_id":"22a43d18-5dd1-4717-ab4b-3801605b84bc","resolution":{"observed_at":"2026-08-01T03:48:34.891975Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13373","last_updated":"2024-09-20T10:20:46Z","snapshot_observed_at":"2026-07-06T19:18:41.002837Z","submitted_at":"2024-09-20T10:20:46Z","title":"LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.13373","snapshot_observed_at":"2026-08-01T03:48:35.008851Z","title":"LLMs still can’t plan; can LRMs? a preliminary evaluation of OpenAI’s o1 on PlanBench.arXiv preprint arXiv:2409.13373,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.008851Z"},"links":{"cited_paper":"/paper/2409.13373","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:727901e8d569f177bc5378c7677bbdb6f675e4678d3417f8e36f93e8d8dd1986","observation_id":"f1378f71-7fa8-4b2a-a07d-ac12e0427fd7","resolution":{"observed_at":"2026-08-01T03:48:35.008851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.023523Z","title":"Towards data- and knowledge-driven artificial intelli- gence: A survey on neuro-symbolic computing.IEEE Transactions on Pattern Analysis and Machine Intelli- gence,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.023523Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:4f87a4749f79fd257f4b1cc1c830837d6b34a0d0ef506db816d91007325b5bb6","observation_id":"0fe6816c-abe9-4089-9abe-af0b02c5ac8d","resolution":{"observed_at":"2026-08-01T03:48:35.023523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.15889","last_updated":"2024-10-03T02:17:04Z","snapshot_observed_at":"2026-07-06T14:11:32.120383Z","submitted_at":"2022-10-28T04:38:10Z","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.15889","snapshot_observed_at":"2026-08-01T03:48:35.148156Z","title":"[Weiet al., 2022 ] Jason Wei, Xuezhi Wang, Dale Schuur- mans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.148156Z"},"links":{"cited_paper":"/paper/2210.15889","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:bdda4844a03c466a1b907866da73c5fe092b72d6f102cd48388ed9b9b3fe2d5e","observation_id":"e9e9573f-0ba8-4c2f-8272-e793de97bc08","resolution":{"observed_at":"2026-08-01T03:48:35.148156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.231883Z","title":"Neuro-symbolic relation extraction","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.231883Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2bf6fc5fc6fc0b056a3f581e7876227d204898668d5431f42f528ddf8a730b30","observation_id":"3f6696d1-59ad-4143-8f2f-aa9648deefc4","resolution":{"observed_at":"2026-08-01T03:48:35.231883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.379476Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.379476Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:89d8e688de6dffe55c6ae1c20e0a4dff13e6e9efea63f03643a365be32c388ac","observation_id":"bf7e2fd3-ed15-44fc-91c6-22ddcb795df4","resolution":{"observed_at":"2026-08-01T03:48:35.379476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.531403Z","title":"InterCode: Standardiz- ing and benchmarking interactive coding with execution feedback","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.531403Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:5736b39e6e7e5f2110f19ab9b4c819f44cfabc954c592871078f18dde50524fc","observation_id":"ba1b9447-3905-4905-89f5-d63cf7ad558f","resolution":{"observed_at":"2026-08-01T03:48:35.531403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.647163Z","title":"Griffiths, Yuan Cao, and Karthik Narasimhan","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.647163Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:8053b6e6134d3352df62fc7223f5adaed3a0e413a8c4eabcacd3f56efa8cfdc7","observation_id":"4ad57781-17c3-45ac-b22f-c0c7632f7b26","resolution":{"observed_at":"2026-08-01T03:48:35.647163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.07830","last_updated":"2019-05-19T23:57:23Z","snapshot_observed_at":"2026-07-31T00:09:56.948833Z","submitted_at":"2019-05-19T23:57:23Z","title":"HellaSwag: Can a Machine Really Finish Your Sentence?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.07830","snapshot_observed_at":"2026-08-01T03:48:35.749139Z","title":"HellaSwag: Can a machine really finish your sentence?arXiv preprint arXiv:1905.07830,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.749139Z"},"links":{"cited_paper":"/paper/1905.07830","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2085fc8de0e25aee0e67b1b4c90fc0ad656901b964fdc4070779482f6e233e23","observation_id":"2eb353eb-5a54-451e-ae75-072da924702a","resolution":{"observed_at":"2026-08-01T03:48:35.749139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.838044Z","title":"Large language models as commonsense knowl- edge for large-scale task planning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.838044Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:1a5ffea098138d30605efd131694c36dcf412787e8d86b1452e1a2e200ebd909","observation_id":"35d1c47e-d9ce-4d0b-8712-67d4e7278767","resolution":{"observed_at":"2026-08-01T03:48:35.838044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:35.919761Z","title":"Le, and Ed H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.919761Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3e559cc9213f0f4078229eb9aae10975675434060fed101d6c1ea886360f8568","observation_id":"7e639f2a-9041-4588-ad50-330f2591ff98","resolution":{"observed_at":"2026-08-01T03:48:35.919761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.404945Z","title":"Wino- Grande: An adversarial winograd schema challenge at scale.Communications of the ACM, 64(9):99–106,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1965,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.404945Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:f6c2d9374e3fc712b1695da9fd7467eae17efda75e3a4881afdccc14c34437f5","observation_id":"823b8ace-ac2f-4389-92a9-2368ed5b2369","resolution":{"observed_at":"2026-08-01T03:48:32.404945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.924658Z","title":"[Fuggitti and Chakraborti, 2023] Francesco Fuggitti and Tathagata Chakraborti","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1971,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.924658Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:85c963918e6afe8d228f8c0051503345a3442f6bf0ff916aadf1b45c6781cfb7","observation_id":"41d0b1bc-9b1e-4146-b7ed-b20962bddc2c","resolution":{"observed_at":"2026-08-01T03:48:27.924658Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:25.541194Z","title":"Self-refine: Iterative refinement with self-feedback","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1977,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.541194Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:14cf3172b2043e039c644c57859d4ce298f7c78fe8391de6f936041da1487626","observation_id":"f15f6408-908d-434a-b4a6-bb6b88de8f2a","resolution":{"observed_at":"2026-08-01T03:48:25.541194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.136129Z","title":"PDDL – the planning domain definition language","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.136129Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:00fb376621d14b587c0708c613b51a9c64bbc10afaaa88e1f5e02cd1b4fce862","observation_id":"e8c531e8-04ae-4282-869d-af71f75030ec","resolution":{"observed_at":"2026-08-01T03:48:31.136129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:28.345986Z","title":"Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies.Transactions of the Association for Computational Linguistics, 9:346–361,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:28.345986Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:ded5cc007f0d1bb4a6ee322cbae0dcfecbd3fde7a4b3cac25c41abd7cac7c9dc","observation_id":"8ad13445-f51e-47ad-b43c-13097b18a1b0","resolution":{"observed_at":"2026-08-01T03:48:28.345986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03314","last_updated":"2024-08-06T17:35:05Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-08-06T17:35:05Z","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03314","snapshot_observed_at":"2026-08-01T03:48:34.135715Z","title":"Scaling llm test-time com- pute optimally can be more effective than scaling model parameters.ArXiv, abs/2408.03314,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1990,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:34.135715Z"},"links":{"cited_paper":"/paper/2408.03314","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a0bc2292087d4c3702133cfc2828a8e03aea506afdd8a5385f11c9e293b1e347","observation_id":"fd4de2df-1f6e-49c5-a687-28ca67c87505","resolution":{"observed_at":"2026-08-01T03:48:34.135715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.166981Z","title":"[Bollackeret al., 2008 ] Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.166981Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a1724516f2a624640a37b0dee31812250e3bc00629f55524251910748a6d614e","observation_id":"fa0e538e-6ae4-4017-a991-45948ac4a6f4","resolution":{"observed_at":"2026-08-01T03:48:27.166981Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.238972Z","title":"On the compilability and expressive power of propositional planning formalisms","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.238972Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:b7971b784e0d837db2156351c089b11116277653ee4d68043ec40a780391116d","observation_id":"a58b7aff-e3c2-4a45-8d49-3120f68513a7","resolution":{"observed_at":"2026-08-01T03:48:31.238972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:31.354901Z","title":"LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:31.354901Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:686719eb117058b502d9d45a45d1d0aaf70883e36f429a00b131952980fe75fb","observation_id":"ecfe207e-32d5-48c5-aebb-50dd33818274","resolution":{"observed_at":"2026-08-01T03:48:31.354901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-01T23:26:05.428862Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-01T03:48:25.157404Z","title":"Position: LLMs can’t plan, but can help planning in LLM-Modulo frameworks.arXiv preprint arXiv:2402.01817,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.157404Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:e0dd00bdc9b920c3401be277c0b53e2c774e6eca895138af92706844a90832ec","observation_id":"569b99ad-79d5-4f45-b268-bc779a71ca7f","resolution":{"observed_at":"2026-08-01T03:48:25.157404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.717798Z","title":"Semantic parsing on freebase from question-answer pairs","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.717798Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:ab1c13ca3946b6a0bbc6f98ade8b1b0f13c3aef56c561a9da13713f9c39bafbc","observation_id":"ca461c30-6ed6-47b1-9ee1-3f2c569ee152","resolution":{"observed_at":"2026-08-01T03:48:26.717798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.228038Z","title":"[Caiet al., 2024 ] Tianle Cai, Xuezhi Wang, Tengyu Ma, Xinyun Chen, and Denny Zhou","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.228038Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:6528be4139dede481ac33eb1fcd859323a0dc890cdbd35f9183900a0e9d56c2e","observation_id":"b21c5e87-e56c-4b5a-a5db-f8f579dc8f3d","resolution":{"observed_at":"2026-08-01T03:48:27.228038Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:27.799604Z","title":"Fikes and Nils J","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:27.799604Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3de66e32f6affb79d6376f3e42e571c3c2bb4a397c0481025f511cbfae2f3bff","observation_id":"d3f32443-56e2-4d59-bd50-aacb94448276","resolution":{"observed_at":"2026-08-01T03:48:27.799604Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.362825Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.362825Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:c71102c76909b0831e4fb1ab3e7b90242cecf24b5443428695bced97ec19a3d9","observation_id":"4db3556f-510c-46c7-b4c8-cd39147866dd","resolution":{"observed_at":"2026-08-01T03:48:32.362825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:26.799846Z","title":"Graph of thoughts: Solving elaborate problems with large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:26.799846Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:4cb05e6a38831b893ab89e7a98d177808f2a24d5062101880157c2b6743595cf","observation_id":"6930367a-542d-4162-9611-7b5cad5465c9","resolution":{"observed_at":"2026-08-01T03:48:26.799846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:30.284794Z","title":"Deductive verification of chain-of-thought reason- ing","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:30.284794Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:33225f27fde61334c5edf5bc12a1543c3bfa8999ba1b971ca469dcab39a2af90","observation_id":"c8d6a7cd-a83b-4cfe-8acd-94bedc180f3f","resolution":{"observed_at":"2026-08-01T03:48:30.284794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:32.220745Z","title":"The lama planner: guiding cost-based any- time planning with landmarks","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:32.220745Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:a4f663cf6f93dd1a9923350f513cc1affde90e1412b6768b7f8fa5aa0bd6733c","observation_id":"a69b453f-e288-41d9-a272-1bbb3237b971","resolution":{"observed_at":"2026-08-01T03:48:32.220745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-01T03:48:35.006339Z","title":"LLaMA: Open and efficient foundation language models.arXiv preprint arXiv:2302.13971,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:35.006339Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:9c9a54f710902fc82bd614c94ce3598807cf2c0bd5c40404501e95cb5ca175c3","observation_id":"6eb03865-fd8a-42ce-a0f1-532a8cfd5826","resolution":{"observed_at":"2026-08-01T03:48:35.006339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:33.439168Z","title":"ALFWorld: Aligning text and embodied environments for interactive learning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:33.439168Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3c28a16622165a5aa8014713ce199fb80e749b669080e37046028726b3dcc44e","observation_id":"762958e6-4c62-4e3d-afc3-4ef26e90114d","resolution":{"observed_at":"2026-08-01T03:48:33.439168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:24.456810Z","title":"d’Avila Garcez and Lu´ıs C","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:24.456810Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:2e3f4ddf8e1a87885bb7c0e076d853c055409ae13f5b14a9ebaf5bce000e4502","observation_id":"7c3053e5-ce15-4104-83d5-019117692ddc","resolution":{"observed_at":"2026-08-01T03:48:24.456810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:25.293028Z","title":"Let’s verify step by step","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.293028Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:3f0eb1599e993bde8e18c64e7032d545e5a83380a3d2f4c6f382580403abc597","observation_id":"00ce1b62-71e6-4ae0-adfc-9de493b3f6c7","resolution":{"observed_at":"2026-08-01T03:48:25.293028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:48:24.784019Z","title":"FOLIO: Natural lan- guage reasoning with first-order logic","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:24.784019Z"},"links":{"citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:e1667614f68d9403bd85457916eddc38ea8d16a52f525c8a3aaf4a91bf0590a5","observation_id":"77c0508e-8719-443e-99c2-34e5b6441170","resolution":{"observed_at":"2026-08-01T03:48:24.784019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T20:30:50.092207Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning"},"reference_resolution":{"displayed":94,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":94,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":94},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 94 of 94 outbound references and 0 inbound Pith citation observations for arXiv:2607.23055."}