{"as_of":"2026-08-15T04:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3f8175a552ded603df49a9242312108777e0af57d2d2d0b6144f3b78bcf270fe","coverage":[{"denominator":75,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":75,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:29:55.720540Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2608.08786/citation-record","integrity":"/paper/2608.08786/integrity","json":"/paper/2608.08786/citation-record.json","paper":"/paper/2608.08786"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.10925","last_updated":"2025-08-08T19:24:38Z","snapshot_observed_at":"2026-08-14T02:46:12.121034Z","submitted_at":"2025-08-08T19:24:38Z","title":"gpt-oss-120b & gpt-oss-20b Model Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.10925","snapshot_observed_at":"2026-08-14T04:29:54.645098Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.645098Z"},"links":{"cited_paper":"/paper/2508.10925","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a8cf537941dbe8048ae81bf8dfbf699d5d42944f568fde022c108ba6f0191a9f","observation_id":"1043c904-bd64-4cf7-aa80-cd423a0db59a","resolution":{"observed_at":"2026-08-14T04:29:54.645098Z","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-14T04:29:59.307067Z","title":null,"venue":null,"work_id":"7c7a4031-91ba-4787-a32f-1d4eac959d42","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.668845Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:dfdb79ca5106c3e2b2725336693edaee35a5d1ccc0883e11841945462ac00e04","observation_id":"0c6edc47-7078-4fbe-bfd2-013cd8ed7d78","resolution":{"observed_at":"2026-08-14T04:29:59.342100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:59.259794Z","title":null,"venue":null,"work_id":"b5db22eb-95c6-4fda-b349-6efa8b9952a6","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.676001Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:8789ea84f5e01fc5b4385aec8f30eaf2f4df2ce7425d816d3bff0a2adbaf6110","observation_id":"6e7c82f0-a70b-447b-9fbe-517010db0c11","resolution":{"observed_at":"2026-08-14T04:29:59.274619Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13724","last_updated":"2024-09-09T10:52:57Z","snapshot_observed_at":"2026-08-15T04:30:34.465568Z","submitted_at":"2024-09-09T10:52:57Z","title":"Logically Consistent Language Models via Neuro-Symbolic Integration","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.13724","snapshot_observed_at":"2026-08-14T04:29:54.681329Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.681329Z"},"links":{"cited_paper":"/paper/2409.13724","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:46d8ac5fb4e55775b5bfb754d6fa1fe7a14cb8ab67ea7a4052b25bc9077441aa","observation_id":"68261b04-b00d-4284-bc75-50653136cb41","resolution":{"observed_at":"2026-08-14T04:29:54.681329Z","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-14T04:29:59.173460Z","title":null,"venue":null,"work_id":"81bb6dff-d420-4da8-8ea0-c0e44f887aed","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.686891Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:ad2f46351d2b2c5678ef6bf4fb93922a42f181bbb40272746ff501b04bd7fd5b","observation_id":"245a5959-303e-4504-b10d-926fb733ea19","resolution":{"observed_at":"2026-08-14T04:29:59.216084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.03366","snapshot_observed_at":"2026-08-14T04:29:54.694987Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.694987Z"},"links":{"cited_paper":"/paper/2508.03366","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:161c7096086d0355d4af0dafd2fd94b9754a8cba837e4f7dff7d653ac09b7dbf","observation_id":"6c980e49-e8a4-4dd1-9201-9502c64c006d","resolution":{"observed_at":"2026-08-14T04:29:54.694987Z","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-14T04:29:59.086817Z","title":null,"venue":null,"work_id":"87243880-b808-4645-8ccd-0a384c606052","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.707723Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:6fe62d13e1b69f0d672266b28f54db6a86265d5a6c6d2823ea36a46d58054d6a","observation_id":"4a9037ba-6fd5-471e-8eed-c0e4fe3ff020","resolution":{"observed_at":"2026-08-14T04:29:59.111838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-14T02:43:01.480086Z","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-14T04:29:54.726574Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.726574Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:379d32d3b62b618146f86afc28e28a653b59cfdb8ccfab694c7e4b4bee8eba1e","observation_id":"aa7700d0-3126-4427-9c38-c2ea683acdd5","resolution":{"observed_at":"2026-08-14T04:29:54.726574Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11536","last_updated":"2025-04-17T16:46:07Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-04-15T18:10:22Z","title":"ReTool: Reinforcement Learning for Strategic Tool Use in LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11536","snapshot_observed_at":"2026-08-14T04:29:54.739620Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.739620Z"},"links":{"cited_paper":"/paper/2504.11536","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:9678bd646083a739f70ca36778168bfd46126d3f71d5dbd27d0b155e627f63f1","observation_id":"aa31d207-ea71-4e6c-a9c6-4bd32ad618b8","resolution":{"observed_at":"2026-08-14T04:29:54.739620Z","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-14T04:29:59.052763Z","title":null,"venue":null,"work_id":"dec17589-a764-45c3-92d9-20fe9d3eac61","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.745687Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:ca8ceb007bbb9bc41fc857ea7e5a434ee90db0c13ca55072959ef0c4ed088c6d","observation_id":"033174eb-7c01-4044-b8c9-131fecb2b76f","resolution":{"observed_at":"2026-08-14T04:29:59.057804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","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-14T04:29:54.778115Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.778115Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:fc2a35680ead8802b0376ae0f410a4a667fa5e73aad5c10a8e7191a0caad7622","observation_id":"7372f838-f164-4ed2-8467-00d4dca0be1d","resolution":{"observed_at":"2026-08-14T04:29:54.778115Z","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-14T04:29:58.919023Z","title":null,"venue":null,"work_id":"ee14a15a-b8d1-4722-9dfe-c2858d7ef014","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.781898Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:48d472485e0541e1e6d3c514bbb368db5ff6172409accad5c696c53e6a2c8d1c","observation_id":"f02a8cb0-35c3-4f6a-8395-c4139513b72e","resolution":{"observed_at":"2026-08-14T04:29:58.944831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:54.792921Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.792921Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:f18d53d2bfd884fa79e57e06fdd05f6b57c28c9857df9997e39f4db77c603baf","observation_id":"fee42c1f-6a96-487a-b5c3-68432f21a32a","resolution":{"observed_at":"2026-08-14T04:29:54.792921Z","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-14T04:29:58.829874Z","title":"InProceedings of the 33rd ACM International Conference on Multimedia","venue":null,"work_id":"03c43c84-95f4-4f02-9ba6-ef58859741bd","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.786078Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:c2d69769a4d7e4469765fa835432ba8070d487b5e268af57a2282ddb6cccb835","observation_id":"693f513d-2053-4804-bf7c-b5dbfdd61a5a","resolution":{"observed_at":"2026-08-14T04:29:58.855210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.678707Z","title":null,"venue":null,"work_id":"311419fa-1e53-44e7-83e4-7e2a971711eb","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.814624Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:f2dc1da9c50072ecd7ae9e283c436af1d5258ddf3be3b606f2e01dd3c29a7460","observation_id":"9962846c-d497-4fad-811e-eb000d9e6d39","resolution":{"observed_at":"2026-08-14T04:29:58.693195Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.777483Z","title":null,"venue":null,"work_id":"f2a7e7a5-b606-41bb-82d7-0b0a42828282","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.806953Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:ea2d8b69bf9f1d64aaae6a2f31cbcf3b9bc0c070a500c47ea7b5e319726af23b","observation_id":"17de43a2-fbd2-408b-b72b-7bea47f537c3","resolution":{"observed_at":"2026-08-14T04:29:58.796719Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15740","last_updated":"2025-05-21T16:45:43Z","snapshot_observed_at":"2026-08-15T02:28:24.130508Z","submitted_at":"2025-05-21T16:45:43Z","title":"HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15740","snapshot_observed_at":"2026-08-14T04:29:54.875466Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.875466Z"},"links":{"cited_paper":"/paper/2505.15740","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:6b93703c7e0ab15b5a22a229224dfa33bcf6fe26056a8469caff6599096e9489","observation_id":"c1fa4451-c3ed-4ac2-be95-1e63276952cf","resolution":{"observed_at":"2026-08-14T04:29:54.875466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.01117","last_updated":"2025-05-19T05:44:58Z","snapshot_observed_at":"2026-08-13T14:50:15.821399Z","submitted_at":"2025-02-03T07:13:59Z","title":"Learning to Learn Weight Generation via Local Consistency Diffusion","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.01117","snapshot_observed_at":"2026-08-14T04:29:54.831155Z","title":"arXiv preprint arXiv:2502.01117(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.831155Z"},"links":{"cited_paper":"/paper/2502.01117","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:8b8b57abe1d6b57aca8ba4d28a72434e28063713cf05146abf44a1dbf2ce0c94","observation_id":"6131281d-80d4-4caa-886a-4e0c32b81727","resolution":{"observed_at":"2026-08-14T04:29:54.831155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.05586","last_updated":"2024-12-07T08:45:39Z","snapshot_observed_at":"2026-08-14T03:03:55.492939Z","submitted_at":"2024-12-07T08:45:39Z","title":"Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.05586","snapshot_observed_at":"2026-08-14T04:29:54.848057Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.848057Z"},"links":{"cited_paper":"/paper/2412.05586","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:7a9c889fda498d1ebb27efbf09d93f7c015af9fe7e1e3683640d22d3affd15ed","observation_id":"ec09a593-1fc1-40f8-97cf-abf3f2f03e1c","resolution":{"observed_at":"2026-08-14T04:29:54.848057Z","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-14T04:29:58.624072Z","title":null,"venue":null,"work_id":"a526ea85-e605-4c5f-a907-cf867d5ed505","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.901935Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:55c4fbbc6d3fa4191c95ce69e68b6905af78c5b9cfde98d9ac74667fd8fa9e3d","observation_id":"d00dccd8-d6d7-48b7-93e3-65516c3655e6","resolution":{"observed_at":"2026-08-14T04:29:58.654749Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2603.19929","last_updated":"2026-04-10T11:31:02Z","snapshot_observed_at":"2026-08-11T14:14:34.333087Z","submitted_at":"2026-03-20T13:17:05Z","title":"RAM: Recover Any 3D Human Motion in-the-Wild","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.19929","snapshot_observed_at":"2026-08-14T04:29:54.881901Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.881901Z"},"links":{"cited_paper":"/paper/2603.19929","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:1236d9b17e7f314d296a79104e7472b2cb2f2d66feb99bbf4f1ae1688ef61fe2","observation_id":"5d2f40fc-c8a7-4625-a9c7-38f3560dd2e0","resolution":{"observed_at":"2026-08-14T04:29:54.881901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.17987","last_updated":"2024-07-24T18:38:51Z","snapshot_observed_at":"2026-08-12T23:34:53.508882Z","submitted_at":"2024-06-26T00:00:45Z","title":"Multi-step Inference over Unstructured Data","version":4},"cited_work":{"arxiv_id":"2406.17987","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.17987","snapshot_observed_at":"2026-08-14T04:29:56.945133Z","title":"Multi-step Inference over Unstructured Data","venue":"cs.CL","work_id":"5a9d6382-19e3-4cb5-b099-6d9ee6fae24c","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.890538Z"},"links":{"cited_paper":"/paper/2406.17987","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:8e7385ffe9a6d45f058723619b8e2422d5cd104612296075c7d586a2d497b85d","observation_id":"c84edafb-e4cc-4021-9409-da73df370713","resolution":{"observed_at":"2026-08-14T04:29:56.959741Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.463670Z","title":null,"venue":null,"work_id":"5a53f999-3846-4d76-84ce-efbdfb8ddd7a","year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.965811Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:b3fc8d87342812eb546395f0f92f619915fcbdc38d893f1ee34cfbfce50953e8","observation_id":"32a30bfe-b63b-4c00-90ec-e46f7d613ffc","resolution":{"observed_at":"2026-08-14T04:29:58.478199Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.441934Z","title":null,"venue":null,"work_id":"b2fe1974-5775-4e94-99ea-bc1989a8e509","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.970472Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:ccf9903a2e7f826507596486a3ba0f136b9c1f18e1657c483ecc49d0018d7b78","observation_id":"8bfcc3bc-7b7f-4414-a6d6-867297ab808d","resolution":{"observed_at":"2026-08-14T04:29:58.451118Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.510892Z","title":null,"venue":null,"work_id":"ace00028-1403-44bf-9594-47ea3cf763b9","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.930293Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:08b2a24e39b22d1e155bd5531427dbe504d851471ac4046a10f2adbe37058e93","observation_id":"a5f6b8a8-5795-4f19-9977-8b42e0ef3e62","resolution":{"observed_at":"2026-08-14T04:29:58.520757Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.488394Z","title":null,"venue":null,"work_id":"2472c3fb-9541-4091-957b-176551156e80","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.945528Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:9c362cc70dc3168834487f094dd5ee3fb30eea5256d40b4d368f6e4b4c69fd8d","observation_id":"fcb238f0-bd5b-4ef7-a5cf-2a16f0cf9612","resolution":{"observed_at":"2026-08-14T04:29:58.497368Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.396365Z","title":null,"venue":null,"work_id":"98b3c7e3-8c09-4ea9-9639-801d7f796051","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.985027Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:e699ca52ef97f6de17c55781a242edb730910c2476b452f37cfcceb6e4b3b06a","observation_id":"661cb908-5030-49e4-a76e-6d8be9d6a25c","resolution":{"observed_at":"2026-08-14T04:29:58.409464Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.00091","last_updated":"2024-12-06T02:26:29Z","snapshot_observed_at":"2026-08-14T18:00:20.345485Z","submitted_at":"2024-11-27T12:41:23Z","title":"Graph Canvas for Controllable 3D Scene Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.00091","snapshot_observed_at":"2026-08-14T04:29:55.001040Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.001040Z"},"links":{"cited_paper":"/paper/2412.00091","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:2adb6ab2e5e7c29d6a079f296b511077209f3313ad48dde47a366662beeac919","observation_id":"33923347-3a8b-41eb-8bf3-ee3dfab46de6","resolution":{"observed_at":"2026-08-14T04:29:55.001040Z","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":"2512.07218","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:29:56.883086Z","title":null,"venue":null,"work_id":"9827fe2e-d48d-4d06-bae0-3c1ed6418d92","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.975825Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:8aa3b1cfbfd71301a58d831202f86adb5954cb58096f776d98ab0e86be9e9fa0","observation_id":"101504c9-1ba9-4586-96db-75ae55fff678","resolution":{"observed_at":"2026-08-14T04:29:56.890959Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:54.980797Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.980797Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:08f8bb17d41e24ddc27eb84df8e3585cf3e596a278219f4d84479e9fe0e5db51","observation_id":"32b3580f-2e7e-4428-87c3-407fb24959c5","resolution":{"observed_at":"2026-08-14T04:29:54.980797Z","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-14T04:29:58.350499Z","title":null,"venue":null,"work_id":"46b22c78-9215-48ae-88b0-84fa26d265b2","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.026724Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:0368ece52f151314450e4dfe6e13ca10e9d1f099dba78d563463d125d19486e9","observation_id":"af8442ca-8c48-4a5b-8045-3a392cb5a454","resolution":{"observed_at":"2026-08-14T04:29:58.358752Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.324880Z","title":null,"venue":null,"work_id":"3c36dac2-c9f0-49c9-b08d-53cf7ecceaa6","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.036510Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:e7f300537a8aa98d163a2e01370025d4b6f4d76ef7b3608d9239074786ef74dd","observation_id":"873f1d09-67e2-4d5b-a673-cc02181cb745","resolution":{"observed_at":"2026-08-14T04:29:58.337842Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.20664","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:29:56.676438Z","title":null,"venue":null,"work_id":"4754b17c-3d67-45c2-83fb-c388e7c40092","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.012813Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a36f6443b6c02cb5a9d87bc28b51d68afcd025a768bf03f6e521c2f950343c97","observation_id":"847540c5-cff5-4606-add9-e3867998dccc","resolution":{"observed_at":"2026-08-14T04:29:56.744044Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.376897Z","title":null,"venue":null,"work_id":"4f6df428-f599-421f-89b5-760faea034e1","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.020604Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:142122e71fb18cf6853ae5acef9765d0c2b29dc7c9aaff6eb89abb7120f9aeb0","observation_id":"097c4d3c-2bf6-41f6-ae04-91817d2ad38e","resolution":{"observed_at":"2026-08-14T04:29:58.380748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.247491Z","title":null,"venue":null,"work_id":"34454300-74dd-4b9b-afc3-39af25bbe077","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.062632Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:f8c069a21a40e8c9f4e885c000a6b37cf7c5ccb9b918644699ade5a3b90e8a89","observation_id":"4e2f1dd6-a8b0-4830-8a4c-f6478e8a0f13","resolution":{"observed_at":"2026-08-14T04:29:58.252220Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.194552Z","title":null,"venue":null,"work_id":"5b8d4de9-e462-4de6-bd4b-15f91a109502","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.074888Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:b51242b205d1616b70ca876b915edb5e2c4925ee278b3910ca320e40602ae46b","observation_id":"51333239-61a6-49c7-8fe1-29781e957486","resolution":{"observed_at":"2026-08-14T04:29:58.199280Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.12781","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:29:56.510332Z","title":null,"venue":null,"work_id":"a629b8d6-b49e-46de-9a5c-66422fa5351d","year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.044347Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a5f2c5ea7eba0c4417c72394ddbbb52ed3a6bff3b71916b6d0b4b8e3aeaf64d4","observation_id":"1c98e53c-ea14-4652-97d6-ba86ed37b0c8","resolution":{"observed_at":"2026-08-14T04:29:56.549228Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.270040Z","title":null,"venue":null,"work_id":"3068bd09-573e-4b55-b896-3e9e755f0e65","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.049954Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:3df022163d296ed837cfd59e1259f673acf148af83b89843091462608c2a4f7a","observation_id":"35c450ba-1c1c-4273-bbff-5f6a0263aedc","resolution":{"observed_at":"2026-08-14T04:29:58.302528Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.101409Z","title":null,"venue":null,"work_id":"adfdbd51-155d-4311-84b3-d719942f3c8b","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.117362Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:0663f23f7e55b1fcff7a9b2f9f517f8c6ebe462bcdd2d653f6a264d0e4ce9cc0","observation_id":"c930c83e-6402-4f72-abe0-5c8cde01928b","resolution":{"observed_at":"2026-08-14T04:29:58.109811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.217864Z","title":"InProceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations)","venue":null,"work_id":"fa50e514-da8b-4aa4-b2d6-a85bf10bfe53","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.070661Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:021a084ab4676547cce139f7a0a2dd117707a0d993e555a777317d7595d51822","observation_id":"e767aec7-2c7c-4eaf-a474-20d744a4aef8","resolution":{"observed_at":"2026-08-14T04:29:58.232827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.047021Z","title":null,"venue":null,"work_id":"ce5590b5-ae8e-41e2-afae-0bababdaad52","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.165689Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:88c78560d1b0b70515cde005a6498f1faa0042a4befc2cbbed8ed3b894b946dc","observation_id":"864ed56a-390c-4c35-be28-cc116b6df769","resolution":{"observed_at":"2026-08-14T04:29:58.052425Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.145875Z","title":"Dennis, and Andre Freitas","venue":null,"work_id":"d9bbab8e-116f-4e7c-a422-5d513baf46c0","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.085282Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:04f3af8817cab7aa53fbf772d8423a56030109e2fe4cfcef6e60b7a17c50f05e","observation_id":"b22afe74-fb06-40b2-a99e-a12c6704f05e","resolution":{"observed_at":"2026-08-14T04:29:58.157057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.127833Z","title":null,"venue":null,"work_id":"3ac7cfad-50ba-4627-a6b2-8bb178334adf","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.104082Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:3133a129cffa8d9638c3b990b75c60d7f3151068e39a675b094f8f586ce5e0e6","observation_id":"7b08d7ba-991d-407d-be22-2a769fd2b339","resolution":{"observed_at":"2026-08-14T04:29:58.133319Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.079959Z","title":"InThe Fourteenth International Conference on Learning Representations","venue":null,"work_id":"f54c7d92-b9d0-4391-b801-85b45829e542","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.126816Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:5e72d237c412925bfbdbd4bd26957bfa3fa287703dd274e5881089079b4b5d67","observation_id":"b6ee9999-1701-4db4-92cf-2839499ad6e5","resolution":{"observed_at":"2026-08-14T04:29:58.084735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.064575Z","title":null,"venue":null,"work_id":"b1cc7820-e35b-459d-bffc-cc1ffc334251","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.139221Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:e403cfef455264e96a55bc61779dd4de26d1df00e258e29f704f5f957c235a58","observation_id":"777cc221-08f9-433c-af62-3b7dfa7acce7","resolution":{"observed_at":"2026-08-14T04:29:58.069424Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.992740Z","title":null,"venue":null,"work_id":"0c36692a-d174-4033-9754-ef3ef0196a88","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.228383Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:9502f54b184ae8d1936261f409fb697cabfa7f8b8f668dd9320555a064766797","observation_id":"e58a7b41-03b4-4d9c-862f-04fd0df753f1","resolution":{"observed_at":"2026-08-14T04:29:58.001661Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.14479","last_updated":"2026-05-24T05:34:17Z","snapshot_observed_at":"2026-08-07T22:02:28.676994Z","submitted_at":"2025-05-20T15:13:32Z","title":"A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.14479","snapshot_observed_at":"2026-08-14T04:29:55.171176Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.171176Z"},"links":{"cited_paper":"/paper/2505.14479","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:2d9405e422f47e5d41892769b0617f5e44720aff537ad8e6461fff04cabe2242","observation_id":"f93a2fdf-a888-4063-bfd8-55d2b6e2a3f3","resolution":{"observed_at":"2026-08-14T04:29:55.171176Z","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-14T04:29:58.019343Z","title":null,"venue":null,"work_id":"927716b3-1be0-4dc0-be7f-20aa76e745ee","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.183102Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:96f0e74041052034b4c47d89e9388130da3945a1e03b6172246b2bf9bad35c5a","observation_id":"8b88aa5e-899c-4c46-9e2b-312bb84d574e","resolution":{"observed_at":"2026-08-14T04:29:58.034812Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.956350Z","title":null,"venue":null,"work_id":"167967bc-b311-48ff-85a3-b1d493113d54","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.304837Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:f1dadd302b8d247730ec1757133949bb8b32023eff4898276d49f72e86f6bd7c","observation_id":"0082e8d0-f220-4997-886a-83388caa5575","resolution":{"observed_at":"2026-08-14T04:29:57.965634Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.14275","last_updated":"2022-11-25T18:19:44Z","snapshot_observed_at":"2026-08-01T02:16:43.109337Z","submitted_at":"2022-11-25T18:19:44Z","title":"Solving math word problems with process- and outcome-based feedback","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.14275","snapshot_observed_at":"2026-08-14T04:29:55.205742Z","title":"Francis Song, Noah Y","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.205742Z"},"links":{"cited_paper":"/paper/2211.14275","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:1f54c803eaa4e7dc6c920f70550411a26645b1529de4313b72ad5984304fc1f8","observation_id":"7bf56101-9f41-4b7c-bec4-c42c6c3ffea1","resolution":{"observed_at":"2026-08-14T04:29:55.205742Z","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-14T04:29:55.219278Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.219278Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a7e65595181288d61aa2110dc8c2f165f0de0cd44aef7caca6af6b4f9f726ca8","observation_id":"9f937b89-e1aa-4f3a-a19e-57e243f582e1","resolution":{"observed_at":"2026-08-14T04:29:55.219278Z","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-14T04:29:55.390357Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.390357Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:200f78a08d99ead6c4e8e483b0c82251ed8e0e56e5e13e9aef5c8ac7132791c9","observation_id":"6ae82380-2f5d-4138-8f8b-e91d4e41a3d4","resolution":{"observed_at":"2026-08-14T04:29:55.390357Z","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-14T04:29:55.250988Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.250988Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a57a2ca9b78fd090fb419accca38216a40b4f4aa8a18d09eb61c56a59418d7c3","observation_id":"b4222ee6-e7b0-423f-bfbb-55487706a2d5","resolution":{"observed_at":"2026-08-14T04:29:55.250988Z","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-14T04:29:55.281060Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.281060Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:68b93d5b0e8e35de64e05c0c42bf93310a73d80fbf9aea72594b29eee76bc31a","observation_id":"ac6f63e5-36cb-4273-9d7b-a3a988956a00","resolution":{"observed_at":"2026-08-14T04:29:55.281060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-14T04:29:55.435679Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.435679Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:216bb171cf50d8c95e59a2c88009bb997726a14cfa534f04cef7c15ac18b9f7e","observation_id":"10e974ed-b904-4e13-bd50-92409de8bfc1","resolution":{"observed_at":"2026-08-14T04:29:55.435679Z","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-14T04:29:57.923180Z","title":null,"venue":null,"work_id":"5f868954-3020-48cf-ac88-d89fb865b0c0","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.335915Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:1a4cf3ae727e26f14fcb3b80c35e02fd655f93eb504fdf0f28135ae3fd48e31b","observation_id":"b7714f37-99a3-44de-8e77-d3f17fb8d8b2","resolution":{"observed_at":"2026-08-14T04:29:57.931175Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:55.346457Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.346457Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:864d71e45f5db7a9a417214a928ce5cdc913a5074a95614d3abcff136a306fe5","observation_id":"21021a54-139b-4fef-83ca-2500982924bd","resolution":{"observed_at":"2026-08-14T04:29:55.346457Z","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-14T04:29:57.699349Z","title":null,"venue":null,"work_id":"c0bdf30a-7651-4aae-b491-da1445a2c71a","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.481177Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a808909b7cfc53d11ade4b676c796d43c903ece47f284b3d630c3cb4acdfdd03","observation_id":"8155193a-4f1f-43a0-9b9a-4872f97e878f","resolution":{"observed_at":"2026-08-14T04:29:57.704054Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.13678","last_updated":"2025-08-19T09:27:46Z","snapshot_observed_at":"2026-08-05T18:58:25.969818Z","submitted_at":"2025-08-19T09:27:46Z","title":"Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.13678","snapshot_observed_at":"2026-08-14T04:29:55.496438Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.496438Z"},"links":{"cited_paper":"/paper/2508.13678","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:0a24278e41d5bc46aced5f3240dc50274c2217a6d455af478800b608e4a16c11","observation_id":"85cfd081-69cc-4edc-bea0-b0a3228fdfd2","resolution":{"observed_at":"2026-08-14T04:29:55.496438Z","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-14T04:29:57.826394Z","title":null,"venue":null,"work_id":"8858ee2d-666f-4143-8739-ebaf8a4d79db","year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.394190Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:ce77e969de476f4f72fc4565e11b29522df3e836d6896f9ef7659af18c3c45a9","observation_id":"5030fc73-e4fa-4f47-a524-5aa77cbb75a9","resolution":{"observed_at":"2026-08-14T04:29:57.844616Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.795602Z","title":null,"venue":null,"work_id":"b214ded8-f503-4b94-a2bc-7bb95d65e5bf","year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.408468Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:9f64b7ce55b02f79efb7be93ee60a92915ab8488c89bda296cc3776f479705b1","observation_id":"e8dd5767-47a2-4458-bc85-749b12aef46c","resolution":{"observed_at":"2026-08-14T04:29:57.811459Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:55.609792Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.609792Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:0eff13ab63ad518d3ca58e200579826a38c48cd555d29a3b609b2083b8d6ef09","observation_id":"69bf056a-8a9d-4f7c-b25e-5ccbeb65073e","resolution":{"observed_at":"2026-08-14T04:29:55.609792Z","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-14T04:29:57.771901Z","title":null,"venue":null,"work_id":"b551ad9d-7b30-40cf-a7b2-c41a5978ffff","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.453169Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:db6568c4b221ee09e8d0b5186c5216dc8e66a140a13d40da70b79dd122454107","observation_id":"7eb2ea2f-ebe5-4a6a-b189-97e498b18f4f","resolution":{"observed_at":"2026-08-14T04:29:57.779926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.727526Z","title":null,"venue":null,"work_id":"c6a5b8bd-ad53-460f-9080-ce1ec3d8cc18","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.457753Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:51e1519e8b8181250563ac381473067c7b16df049a3c6164607366a520019e2a","observation_id":"7028fa77-bb13-42cc-9a48-f34a91ecc92d","resolution":{"observed_at":"2026-08-14T04:29:57.755903Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:55.646837Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.646837Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:1e127805a9e3093d6abc1259aaadf3c949a13c9f0c41fdff93840a234d07cfa2","observation_id":"f0f356f3-fece-4012-946e-c2b4945aada7","resolution":{"observed_at":"2026-08-14T04:29:55.646837Z","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-14T04:29:57.498953Z","title":null,"venue":null,"work_id":"3742bc19-1f56-47dd-b03c-f0a304d364f8","year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.664886Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:27ff7240156ba610f903bb0840a3b02084a5b134e69fe768e3fa8dde9176858a","observation_id":"9f1badfc-ffbf-4ac9-850e-ea7164403ceb","resolution":{"observed_at":"2026-08-14T04:29:57.525516Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.650734Z","title":null,"venue":null,"work_id":"a15e4baa-dd55-4eec-9aae-635cc524a73c","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.523266Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a2fb1c8148ccf06efe9b7414e21e95f2098352c3c89422d025110163d6c833a3","observation_id":"d53ad005-29d3-4e35-bfee-e874eb8cf725","resolution":{"observed_at":"2026-08-14T04:29:57.677587Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.624125Z","title":null,"venue":null,"work_id":"837b3075-7c67-4f46-ac4e-669c8b363e68","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.564611Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:132371f0a0d81488d9d42605dda9e60d2f8bb524c2c2d2fd0ab0a7905af14ff7","observation_id":"5c26e093-c085-4287-9cc1-ae15b11dec5a","resolution":{"observed_at":"2026-08-14T04:29:57.628538Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.594207Z","title":null,"venue":null,"work_id":"a3b0a195-862e-469c-a0ec-ad85fd83a3cc","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.624135Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:304c3c85243ff3fa86bd68f6749ba3590a8d7e3a962eaef61faf925330a6f3b4","observation_id":"304b5acf-4b1b-48ae-a7cb-d920148fb77b","resolution":{"observed_at":"2026-08-14T04:29:57.601386Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.564695Z","title":null,"venue":null,"work_id":"5a5b1dd1-5e79-42e0-ae32-4b7e265b4cf5","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.636047Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:211ad83e26c53920a4d4ae2e09ac2848466d790fce6f564e3c335a51eef6cb8b","observation_id":"7146a36e-1ae6-4890-a2ef-ce200add17ba","resolution":{"observed_at":"2026-08-14T04:29:57.576229Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.480945Z","title":null,"venue":null,"work_id":"5e2877a5-4ddb-4683-b3f7-ee27f0b65db8","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.694748Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:45d92ef576f2b4238efa5d7ab2a123db1532018463106dc85274b579a0d4e589","observation_id":"26901db2-26ca-45d0-9ada-9d0cdf595675","resolution":{"observed_at":"2026-08-14T04:29:57.488343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:57.362438Z","title":null,"venue":null,"work_id":"bf00c709-7e1d-4575-8661-b19f0bb444d6","year":2023},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.720540Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:d769ee4f64983e3cc8dcc61661bdb1ea819c07ca8b889c9fd5bb5ad56c583dd7","observation_id":"1de716f9-b1e8-46d0-b14b-f86e0f33dfa6","resolution":{"observed_at":"2026-08-14T04:29:57.408439Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-08-12T23:55:56.552507Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-14T04:29:55.376199Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:55.376199Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:e036e35f6012ed853e86b3a6aa6d37e5527b3f7fc46ac6c294b16ee2074e2f1c","observation_id":"5dc31c7e-799e-415c-a2fb-e4aa906492b2","resolution":{"observed_at":"2026-08-14T04:29:55.376199Z","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-14T04:29:58.980094Z","title":"InFindings of the Association for Computational Linguistics: ACL 2025","venue":null,"work_id":"bbf67978-2a37-46e4-9a6a-6a19df5ee6e9","year":2025},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.765651Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:6c40b652d95fd7eefa99e198a9700bbf5fa880b246696a422ec735b8437d4770","observation_id":"ac8a0b50-3711-4194-acc1-377ba0af3644","resolution":{"observed_at":"2026-08-14T04:29:59.009379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T04:29:58.542087Z","title":"InInternational Conference on Learning Representations","venue":null,"work_id":"9dba2fb0-ba1d-48ba-9742-9293f39c4b3a","year":null},"citing_paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-14T04:29:54.905421Z"},"links":{"citing_paper":"/paper/2608.08786"},"observation_digest":"sha256:a1578d9ed80ed9e061bc8bc9c6cfb433c58289d28db947af53fec3886405b504","observation_id":"f584b824-235c-4a24-9644-1d6600f0037b","resolution":{"observed_at":"2026-08-14T04:29:58.552115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.08786","last_updated":"2026-08-09T16:05:16Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T02:34:50.998774Z","submitted_at":"2026-08-09T16:05:16Z","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification"},"reference_resolution":{"displayed":75,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":65,"verified_exact":4,"verified_fuzzy":6},"total_outbound_references":75},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2608.08786."}