{"as_of":"2026-08-08T09:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b0154fedc24d60792e27e6e0da411bd1c42bb033f2b04d521751ec01a8956ec9","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:35:20.705342Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:18:33.164701Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T01:17:30.580394Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.24264","snapshot_observed_at":"2026-08-07T04:18:33.164701Z","title":"Faithful and robust llm-driven theorem proving for nli explanations","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.10903","last_updated":"2025-06-12T17:09:51Z","snapshot_observed_at":"2026-08-07T04:11:48.779346Z","submitted_at":"2025-06-12T17:09:51Z","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:33.164701Z"},"links":{"cited_paper":"/paper/2505.24264","citing_paper":"/paper/2506.10903"},"observation_digest":"sha256:ae311b945a38e96cc7ff975d0b53c609e8501575ff88a5dfc7ada5d5dc202091","observation_id":"18ad6655-73c1-46cd-81ce-1d69c186e9d8","resolution":{"observed_at":"2026-08-07T04:18:33.164701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"cited_work":{"arxiv_id":"2505.24264","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.24264","snapshot_observed_at":"2026-07-03T01:17:30.580394Z","title":"and Freitas, Andr","venue":null,"work_id":"8cbff8f6-c812-41a0-9e25-a6c0a7ffc4da","year":null},"citing_paper":{"arxiv_id":"2606.09449","last_updated":"2026-06-08T12:57:09Z","snapshot_observed_at":"2026-07-06T23:48:48.962930Z","submitted_at":"2026-06-08T12:57:09Z","title":"Reasoning without Gold Standards: A Proxy-Judge Theory of Autoformalization","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-06-27T16:44:03.889425Z"},"links":{"cited_paper":"/paper/2505.24264","citing_paper":"/paper/2606.09449"},"observation_digest":"sha256:f3a275638519d3b86a43bc16d17388bbe7587567d0a8b1317c6b8fcab081df70","observation_id":"8f3ab411-6f43-4b59-864e-0e53782dc012","resolution":{"observed_at":"2026-07-03T01:17:30.581839Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.24264/citation-record","integrity":"/paper/2505.24264/integrity","json":"/paper/2505.24264/citation-record.json","paper":"/paper/2505.24264"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2211.07524","last_updated":"2022-11-14T16:52:32Z","snapshot_observed_at":"2026-08-07T23:33:09.684973Z","submitted_at":"2022-11-14T16:52:32Z","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.07524","snapshot_observed_at":"2026-08-07T12:35:15.731803Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:15.731803Z"},"links":{"cited_paper":"/paper/2211.07524","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:5953a1c5986d09be51e674565845e2fffb3f8df23a54730d3f201e6ec134f107","observation_id":"64645f5a-97bf-414c-bfec-77c2fff01910","resolution":{"observed_at":"2026-08-07T12:35:15.731803Z","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-07T12:35:15.823227Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:15.823227Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:e3166ed71711b9846520ce007ce878c686efa1e74353d7372d8ccbc6e03e4bfc","observation_id":"5742ce08-a145-4157-b664-969605f22cae","resolution":{"observed_at":"2026-08-07T12:35:15.823227Z","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":"10.18653/v1/2021.acl-long.196","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:20.880971Z","title":null,"venue":null,"work_id":"977c0c8d-57d7-4ad7-ac7b-771ea5d34b1a","year":2021},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:15.995027Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:dab4bf0b68033882ef3f2d133bf2a46dff7c595006a94a1ecedb27363f4df40d","observation_id":"4b4e4bed-82cc-41ec-9a88-9d8556b0aaa9","resolution":{"observed_at":"2026-08-07T12:35:20.919044Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:16.105741Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.105741Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:01df2f6fc84cc9ee7c44f18ba3db65981dcaf8b52bd57d8a598cdb6c0aab1ed4","observation_id":"5b63f6f1-148b-45be-a2f0-4a852d664985","resolution":{"observed_at":"2026-08-07T12:35:16.105741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-07T12:35:16.202092Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.202092Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:c88e629f75c36368e3e665ca871b1712eb70ca64d84a6ca9c32d6a7a78175063","observation_id":"7eb3e218-9feb-435d-b8d1-bc76da450488","resolution":{"observed_at":"2026-08-07T12:35:16.202092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04910","last_updated":"2023-03-16T01:09:08Z","snapshot_observed_at":"2026-08-05T15:17:11.739277Z","submitted_at":"2023-03-08T22:00:15Z","title":"Baldur: Whole-Proof Generation and Repair with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04910","snapshot_observed_at":"2026-08-07T12:35:16.313759Z","title":"Rabe, Talia Ringer, and Yuriy Brun","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.313759Z"},"links":{"cited_paper":"/paper/2303.04910","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:f927b7efcb2691808394ececdb5dad32332f9c8f2ee861b683680b2e33c037b0","observation_id":"9bd7e4db-c3e4-4723-acaf-53f0f40e7ade","resolution":{"observed_at":"2026-08-07T12:35:16.313759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.04556","last_updated":"2024-04-02T14:35:40Z","snapshot_observed_at":"2026-08-07T23:31:29.065390Z","submitted_at":"2023-12-07T18:59:29Z","title":"Large Language Models for Mathematicians","version":2},"cited_work":{"arxiv_id":"2312.04556","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.04556","snapshot_observed_at":"2026-08-07T12:35:21.752329Z","title":"Large Language Models for Mathematicians","venue":"cs.CL","work_id":"51efbaad-a4f2-41e1-83a9-914b4a21a598","year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.441656Z"},"links":{"cited_paper":"/paper/2312.04556","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:7aa6ef66051f128a8595989ce16ae0787331b3314dc60b741f7f2e41b2171c9b","observation_id":"34db7fb4-a34e-431b-97a5-fe0662ef0686","resolution":{"observed_at":"2026-08-07T12:35:21.815931Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.16779","last_updated":"2025-01-14T14:26:03Z","snapshot_observed_at":"2026-08-07T23:32:30.303276Z","submitted_at":"2024-08-15T16:41:00Z","title":"Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.16779","snapshot_observed_at":"2026-08-07T12:35:16.556436Z","title":"Carvalho, and André Freitas","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.556436Z"},"links":{"cited_paper":"/paper/2408.16779","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:45ae76a23953fc5e5c9722c9008398e2f106be3a731ec07368d1f4e372dcb2b2","observation_id":"adf89628-98fd-48b0-809b-fd1f5a1b3292","resolution":{"observed_at":"2026-08-07T12:35:16.556436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-07-06T18:55:11.576666Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-07T12:35:16.671047Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.671047Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:121d88d0fa3d670fb0c206eb3032d7634fa988a447428449c400a8c112b1f88c","observation_id":"f3281cee-7c03-43b4-bf0f-0a0c8a7b694c","resolution":{"observed_at":"2026-08-07T12:35:16.671047Z","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-07T12:35:16.842889Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.842889Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:c3f426ca9e4a4feeb2bbdadbd60c77d42c7af3b886184b71623e888608af7392","observation_id":"7c8e2418-2672-478b-8d0f-a434fa2da86b","resolution":{"observed_at":"2026-08-07T12:35:16.842889Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:23.647725Z","title":null,"venue":null,"work_id":"30de6bf0-b8ec-4541-9351-bc90af38d63a","year":2018},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:16.992670Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:4ef3c3ff3925833bacb72f73d5219ee48431573563f695716513f336d46621da","observation_id":"fdad9188-cf3f-44bb-b2de-74cf7a6ac54f","resolution":{"observed_at":"2026-08-07T12:35:23.818662Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:23.319011Z","title":null,"venue":null,"work_id":"17035b80-a7b2-4e59-90cc-2f27c02a3e4e","year":2022},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.129123Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:4769752564555a12f158e3f951f81c582e224b5452607b98a2ed1fbd6ca2a3f4","observation_id":"4097ae4d-b15a-42d9-8e70-dde0802916b9","resolution":{"observed_at":"2026-08-07T12:35:23.484213Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-08-07T23:31:55.245259Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-07T12:35:17.230533Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.230533Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:64530b24cb3ae0e8c70956735b118f25220d81ade4eb2aaba42902baa5a0d4c2","observation_id":"256d4e5a-62ec-4803-909b-161d377e0160","resolution":{"observed_at":"2026-08-07T12:35:17.230533Z","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-07T12:35:17.358975Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.358975Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:cb7bc71add589d633a6b19f51208d8cd784e65d2cbe4e9a68f5b5f5355dc54b1","observation_id":"c6f2098d-644e-4898-bc42-f311ee385b42","resolution":{"observed_at":"2026-08-07T12:35:17.358975Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:23.051107Z","title":null,"venue":null,"work_id":"838a5252-e162-4fce-af23-795849d14299","year":2019},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.466588Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:21a320c808c82e3845fdd01f4f0d9a89d4e775a26a0cb9248e57bdbc2717066a","observation_id":"b1deab77-380c-490a-8339-9ea36e7ed810","resolution":{"observed_at":"2026-08-07T12:35:23.198958Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.883181Z","title":null,"venue":null,"work_id":"b8ff93d7-8040-4172-98d8-fb20692c44b7","year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.607390Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:c1bb45a4ee3bd65a975c6c8d89757f698b81cd146bcaba9698f323668fc7c117","observation_id":"57ec5103-e527-4699-889d-a1a33624fced","resolution":{"observed_at":"2026-08-07T12:35:22.944176Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:17.712492Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.712492Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:7645be8f3b366da8112d79b5f4e2bcbfc5825073ec8d32b77492e624a45c2517","observation_id":"9666dd8c-51aa-48f8-b951-e388f0b0892f","resolution":{"observed_at":"2026-08-07T12:35:17.712492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.16757","last_updated":"2025-02-24T00:18:17Z","snapshot_observed_at":"2026-08-07T23:31:32.335315Z","submitted_at":"2025-02-24T00:18:17Z","title":"Entailment-Preserving First-order Logic Representations in Natural Language Entailment","version":1},"cited_work":{"arxiv_id":"2502.16757","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.16757","snapshot_observed_at":"2026-08-07T12:35:21.549347Z","title":"Entailment-Preserving First-order Logic Representations in Natural Language Entailment","venue":"cs.CL","work_id":"70fcbf02-6e4d-45a9-9d7e-63e476bbf2d7","year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.801972Z"},"links":{"cited_paper":"/paper/2502.16757","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:6482033c6694ab2b84ee47002bff4423949f93b9f30a91e0c0dc43ebacc39a40","observation_id":"1b14e316-50e7-4ebd-bcd6-6601032a2e54","resolution":{"observed_at":"2026-08-07T12:35:21.585685Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.783836Z","title":null,"venue":null,"work_id":"a06208b0-bf69-4ef6-b576-f91cac31c8e0","year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:17.955696Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:8c10599469a389c960e8e4695b626d9ca79b0da7fc27a8c6f86397b016eb8a1b","observation_id":"894abc15-cd82-420d-ab3e-58ae047ed7f1","resolution":{"observed_at":"2026-08-07T12:35:22.817243Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.17539","last_updated":"2025-02-07T01:16:53Z","snapshot_observed_at":"2026-07-06T19:22:32.667859Z","submitted_at":"2024-09-26T04:59:45Z","title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.17539","snapshot_observed_at":"2026-08-07T12:35:18.039212Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.039212Z"},"links":{"cited_paper":"/paper/2409.17539","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:601557d051f2b3a102a64cb26091302cd659f12914beb40e7b8aa18ba8311655","observation_id":"99c6dd54-14d4-4541-a4b5-4aed1124880c","resolution":{"observed_at":"2026-08-07T12:35:18.039212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.10135","last_updated":"2024-10-14T03:58:35Z","snapshot_observed_at":"2026-08-07T23:32:58.884993Z","submitted_at":"2024-10-14T03:58:35Z","title":"FormalAlign: Automated Alignment Evaluation for Autoformalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.10135","snapshot_observed_at":"2026-08-07T12:35:18.170586Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.170586Z"},"links":{"cited_paper":"/paper/2410.10135","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:6ec5ec333a8d370adbb4928451c5cd3b9d17ae38be51cf71d1af80a5a80046b4","observation_id":"ae943ddf-77b0-4d5d-a27e-269c04b1b4c9","resolution":{"observed_at":"2026-08-07T12:35:18.170586Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.01940","last_updated":"2024-10-14T03:46:00Z","snapshot_observed_at":"2026-08-05T18:55:10.658942Z","submitted_at":"2024-06-04T03:48:08Z","title":"Process-Driven Autoformalization in Lean 4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.01940","snapshot_observed_at":"2026-08-07T12:35:18.277953Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.277953Z"},"links":{"cited_paper":"/paper/2406.01940","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:799fdb9de4e9aaf29e92c7f3243439438b55e2b0ca956aa5afd15dfdc59df481","observation_id":"ddcbce80-c323-4f9f-be30-9edc311eb6e0","resolution":{"observed_at":"2026-08-07T12:35:18.277953Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.667099Z","title":"Maienborn, K","venue":null,"work_id":"af801a72-e82b-4f37-a3fa-a42611117f76","year":2011},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.350861Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:4a060fc6ea573420a347751286a83f0ddc8f519fe9b34ffb000411645cce0a06","observation_id":"5660deb3-ac99-44c0-9164-597d58712142","resolution":{"observed_at":"2026-08-07T12:35:22.715769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:18.484862Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.484862Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:826d656e17c3fec08358ee2af3b0398b3af6f58e5955a3ee27211285c0e09e11","observation_id":"3115dc25-dbe7-46f9-ab5c-d5724f062131","resolution":{"observed_at":"2026-08-07T12:35:18.484862Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.527549Z","title":null,"venue":null,"work_id":"b4d4679b-bafd-4bc2-a567-cb1097168c32","year":2002},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.562198Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:8670c974c926a62c5f3782f7783604f52cf4abf1bea6b9e61cfb59ba4d5d20b0","observation_id":"78060f3d-547b-476a-832c-76b63ce6faac","resolution":{"observed_at":"2026-08-07T12:35:22.593958Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:18.667644Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.667644Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:47de05f3971eca938a5c4f065246687c068fb645a3e06a995efe4e76e868235e","observation_id":"f7910bb8-173d-4d58-b686-7d6a20ac9506","resolution":{"observed_at":"2026-08-07T12:35:18.667644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T12:35:18.757245Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.757245Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:246ca7ff548be85217d6dced5da752fd74fde391aa8be81fc9abba91a54bbdcf","observation_id":"93374cb4-522b-40da-9c7d-6824ac15cb25","resolution":{"observed_at":"2026-08-07T12:35:18.757245Z","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-07T12:35:18.850063Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.850063Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:75f6d1ba88f211900a220df3212a198e5881eb107a955f8e5c3e4c47b808de99","observation_id":"41e7e76e-9066-461f-ad25-fd3a866af208","resolution":{"observed_at":"2026-08-07T12:35:18.850063Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.400044Z","title":null,"venue":null,"work_id":"cbfa421b-3383-4b68-982c-a1c800fae5b1","year":1990},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:18.928935Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:32141e74b6f74f897286bf4860cbc6b99afb971a2ef22fa7f818838bf57f5710","observation_id":"11ea7c16-c3c4-48bb-9b38-f5a3f368f124","resolution":{"observed_at":"2026-08-07T12:35:22.468672Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.270384Z","title":null,"venue":null,"work_id":"fb2a4cda-f7e1-4c33-8334-7b2aef78a825","year":2012},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.044729Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:e385883195b2f3678c48ae5aac0de3555095d683ebe0523f4754a912a9c328d3","observation_id":"94e3b956-d7e8-4718-bc4e-8a170b6471aa","resolution":{"observed_at":"2026-08-07T12:35:22.326327Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-07T12:35:19.123684Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.123684Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:6338b5471112cd66547e58d337a22a32fb24fead89d85ed13b4cc27366b69fef","observation_id":"0a3c9637-b8aa-4a32-8a75-358be4ebaaf2","resolution":{"observed_at":"2026-08-07T12:35:19.123684Z","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-07T12:35:19.190177Z","title":"Becker, Arto Hellas, Paul Denny, and Brent N","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.190177Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:6495d35394591ea76f727abbbbba6df058813744d1d656bbd3752d38e6ba2fd8","observation_id":"b388d6fe-b624-4164-9f10-c7da147995c0","resolution":{"observed_at":"2026-08-07T12:35:19.190177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-07T23:33:02.096483Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-08-07T12:35:19.306365Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.306365Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:7d3df453ed32dd840199f260eb4df405c3db1e91e3444fd7fabf59006ae4cbc2","observation_id":"68c99d71-793b-42b3-84bd-46ce86b62c49","resolution":{"observed_at":"2026-08-07T12:35:19.306365Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.175678Z","title":null,"venue":null,"work_id":"e1b53d53-5522-4941-9161-f9e58e4ac56b","year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.398220Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:252ac3bab540bef3d4ce87501d9db565187806b537438e67199d30c1b9955251","observation_id":"7c68f8a2-15f4-42a5-bfba-e6d7e7656608","resolution":{"observed_at":"2026-08-07T12:35:22.208976Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:19.492657Z","title":"Dennis, and Andre Freitas","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.492657Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:5c6fa3d144884e5f6fe34aa661dbacf01972b593a7e14ef6ffa9f33b0ce1a10f","observation_id":"5a0c14d9-b753-4d84-9c50-afd214fb894b","resolution":{"observed_at":"2026-08-07T12:35:19.492657Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.16961","last_updated":"2025-07-12T18:39:50Z","snapshot_observed_at":"2026-08-07T23:31:49.987974Z","submitted_at":"2025-01-28T14:04:49Z","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","version":3},"cited_work":{"arxiv_id":"2501.16961","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.16961","snapshot_observed_at":"2026-08-07T12:35:21.271130Z","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","venue":"cs.AI","work_id":"5322b59c-96de-4652-bb5d-180bc20d8215","year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.580682Z"},"links":{"cited_paper":"/paper/2501.16961","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:ef924edaad2451c7053636e4c42ca6790eef6211ee641bad04b845d3457d0155","observation_id":"c1f2fb47-8d4b-46ee-8ca3-cbc3001b7a98","resolution":{"observed_at":"2026-08-07T12:35:21.319763Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-07T12:35:19.670076Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.670076Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:4c936cb3d0711aa0b62814d240b7e9c97994496e46e623415c0b3d608a621ce4","observation_id":"82a89a40-98e0-4ce3-a677-c4f054ca48ef","resolution":{"observed_at":"2026-08-07T12:35:19.670076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.00389","last_updated":"2020-10-01T13:26:58Z","snapshot_observed_at":"2026-08-07T23:31:59.315299Z","submitted_at":"2020-10-01T13:26:58Z","title":"A Survey on Explainability in Machine Reading Comprehension","version":1},"cited_work":{"arxiv_id":"2010.00389","doi":null,"metadata_source":"pith","pith_arxiv_id":"2010.00389","snapshot_observed_at":"2026-08-07T12:35:21.087100Z","title":"A Survey on Explainability in Machine Reading Comprehension","venue":"cs.CL","work_id":"cdf875c2-7d98-4083-a86e-b67974196b03","year":2020},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.764789Z"},"links":{"cited_paper":"/paper/2010.00389","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:c68b0cd816604b1cd8ac24080ee8e742ffa02f5aee01608fd8544d1efa44a421","observation_id":"bf174839-6141-49f5-804a-f94b9f76c000","resolution":{"observed_at":"2026-08-07T12:35:21.159133Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:22.044717Z","title":null,"venue":null,"work_id":"1a422431-9b27-4976-a531-03739082fba7","year":2022},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.837754Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:37a963b4ee04d705839d3c6df60e227a38d4cb02cc6b0228e707fd1c562f6eee","observation_id":"bf613cff-1d2e-4c10-9773-ecaf624fadb6","resolution":{"observed_at":"2026-08-07T12:35:22.114053Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.18457","last_updated":"2023-10-27T20:10:56Z","snapshot_observed_at":"2026-08-07T23:31:53.556397Z","submitted_at":"2023-10-27T20:10:56Z","title":"LLMSTEP: LLM proofstep suggestions in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18457","snapshot_observed_at":"2026-08-07T12:35:19.988186Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.988186Z"},"links":{"cited_paper":"/paper/2310.18457","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:a0ef6ce43130dba32293a45b6c1855417929359ace580d195db84487709587e0","observation_id":"b3e6e4c1-938e-4d67-bd70-b145e51e865d","resolution":{"observed_at":"2026-08-07T12:35:19.988186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.12060","last_updated":"2021-12-07T18:56:13Z","snapshot_observed_at":"2026-08-07T23:31:38.197461Z","submitted_at":"2021-02-24T04:25:01Z","title":"Teach Me to Explain: A Review of Datasets for Explainable Natural Language Processing","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.12060","snapshot_observed_at":"2026-08-07T12:35:20.069212Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.069212Z"},"links":{"cited_paper":"/paper/2102.12060","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:68f742923e46149f1214e41ebbb776684622f5da137b5bfad9d7b24ec9734f62","observation_id":"583cbf75-f2b8-4c51-b051-fcaf269b7f07","resolution":{"observed_at":"2026-08-07T12:35:20.069212Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:35:21.922771Z","title":null,"venue":null,"work_id":"d868e8bf-1354-40d2-8fb6-cd0ffd59e200","year":2022},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.159768Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:fbbe0b25665452b21c07bf923e66b24a2012364aecba2a3271f4e6e656b083b5","observation_id":"a4c3e85c-2cd9-4602-9bf9-336db9b55df4","resolution":{"observed_at":"2026-08-07T12:35:21.982221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-07-06T18:18:25.746022Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-07T12:35:20.250684Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.250684Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:cd2ecb3e4a9a7c8c8793af352ad903462f4b3f1283de4d555ce86e8cb2c77244","observation_id":"3e5a0e32-52e0-453d-91d9-dcaa83f7db67","resolution":{"observed_at":"2026-08-07T12:35:20.250684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T12:35:20.322445Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.322445Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:5f138ccfccfae54aef0cda6bf9134a44b80cb6201afe1f98bf94ff6f89287884","observation_id":"4fd7d77d-3e81-4f63-83c4-4d4f65a1cad8","resolution":{"observed_at":"2026-08-07T12:35:20.322445Z","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-07T12:35:20.396558Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.396558Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:bdd6c0712c9700b559dab5553c3d7d44a10c3d5cc93d095d40c6f5d3748e236a","observation_id":"4f7e98b6-3900-4078-8ac0-7a62ad5db13d","resolution":{"observed_at":"2026-08-07T12:35:20.396558Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.16366","last_updated":"2023-05-25T11:35:52Z","snapshot_observed_at":"2026-08-07T23:31:32.304192Z","submitted_at":"2023-05-25T11:35:52Z","title":"Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.16366","snapshot_observed_at":"2026-08-07T12:35:20.514785Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.514785Z"},"links":{"cited_paper":"/paper/2305.16366","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:b8837fedac03c8eae7c01a5352db3e16992255fd05080cc729679c1b369b82fb","observation_id":"d5d0b85c-113d-4e43-af5d-28c0403b0ff5","resolution":{"observed_at":"2026-08-07T12:35:20.514785Z","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-07T12:35:20.591682Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.591682Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:fc18e95d8b75dbba6d738bd6128aba2dc1ee1562a5b76a3c184c2b7d05d1d285","observation_id":"efe4f4ed-995b-49a7-a05b-61ac5bf86c84","resolution":{"observed_at":"2026-08-07T12:35:20.591682Z","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-07T12:35:20.705342Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.705342Z"},"links":{"citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:bc7987109ee63ad9e39cc1c08d927e3a8583dd88d6948a743aafa6fd1b8f74d9","observation_id":"d12bb582-72f0-496c-b71d-a1539e55006f","resolution":{"observed_at":"2026-08-07T12:35:20.705342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":42,"verified_exact":5,"verified_fuzzy":1},"total_outbound_references":48},"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 48 of 48 outbound references and 2 inbound Pith citation observations for arXiv:2505.24264."}