{"as_of":"2026-08-10T15:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:88224c503c27cd0dc49e2fe80aef7eebd9f6cde53a74ce5a00eb4fdacde4be1c","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:28:50.521451Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2509.04083/citation-record","integrity":"/paper/2509.04083/integrity","json":"/paper/2509.04083/citation-record.json","paper":"/paper/2509.04083"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:28:51.184846Z","title":"Saparov, H","venue":null,"work_id":"3f361b7e-162a-4d0f-a422-1c9e4ced6dc9","year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.107997Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:36bcdb3ad872cc6462855419959412f483476e4bfa8085a4b9927812ffbcf384","observation_id":"bb1be1ea-26c9-445f-8711-40d61af8aa65","resolution":{"observed_at":"2026-08-05T10:28:51.191129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.183253Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.183253Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:6405bf53e7eb5556e748cc24132ffdf884026d8d80d0603b655e8fd7f490cfc3","observation_id":"27f484f5-cd22-468d-8480-4aae76f3f681","resolution":{"observed_at":"2026-08-05T10:28:50.183253Z","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-05T10:28:51.165818Z","title":"Panas, S","venue":null,"work_id":"1a185b66-62cb-4fe4-b347-93c4daca44fa","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.348825Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:38adfbacd51c552a616c68bcd241743109ef88dcdf8fbe2f26052b2a001e3b66","observation_id":"599ed135-de8c-4b07-9ffd-92ea485e00c8","resolution":{"observed_at":"2026-08-05T10:28:51.171645Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.395712Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.395712Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:cd33cd7912de8bca6379a3b1cc13d39053661c9f866095c2327f67309b4993c3","observation_id":"3751c904-0801-4543-a125-f3b00cf66262","resolution":{"observed_at":"2026-08-05T10:28:50.395712Z","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-05T10:28:51.147217Z","title":null,"venue":null,"work_id":"1eff6c2b-1eb5-4ba3-acdc-72f376600c55","year":2022},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.401496Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:cdb2b4acd45a5e8342c0f062823d6992fc9fdf1caad6e4f604addbb4ddcc55de","observation_id":"fe7fd5c2-e77e-4b5a-a2da-af17439151f4","resolution":{"observed_at":"2026-08-05T10:28:51.152679Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:51.126153Z","title":null,"venue":null,"work_id":"740bfca9-4daf-468f-a8f5-cb01f6c59fe4","year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.406600Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:eaf088875a7cf3d49caefb3f5c2eec566cc15c591cf175138cbb5aee4d50ecc8","observation_id":"02922694-f1df-421e-8605-d52548f3240c","resolution":{"observed_at":"2026-08-05T10:28:51.132464Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.411785Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.411785Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:629d3f514f3c790a8de227a31cbe4a04c94be57ebdb1f2dc013d2507fd697723","observation_id":"cd2926ff-f4b4-4117-9c54-39ee9e119765","resolution":{"observed_at":"2026-08-05T10:28:50.411785Z","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-05T10:28:50.416740Z","title":"Olausson, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.416740Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:c1f56dc8e971c3ab56e411c9bb58100492a84267ec06321e3b173744fc552ece","observation_id":"4a37cecd-cc2f-433f-a15f-0c34ca1e624f","resolution":{"observed_at":"2026-08-05T10:28:50.416740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.17216","last_updated":"2025-05-21T15:51:37Z","snapshot_observed_at":"2026-08-07T17:53:05.170621Z","submitted_at":"2025-02-24T14:49:52Z","title":"Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.17216","snapshot_observed_at":"2026-08-05T10:28:50.421874Z","title":"Beiser, D","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.421874Z"},"links":{"cited_paper":"/paper/2502.17216","citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:8813f88052b41697b2c97c6badd9a509604f6f69fb1ee11f612ba01587343c6d","observation_id":"726ea9ea-a6c4-4641-acd5-09378a4021f8","resolution":{"observed_at":"2026-08-05T10:28:50.421874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.nlrse-1.6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Kirtania, P","venue":null,"work_id":"8ab54e42-3034-4159-a3ad-3f8fee04255e","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.427031Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:693064a5b67d31c1f5b61f8f4e0e1908e18829ddbf0303da9de4d38cfda25f9a","observation_id":"b310a8e2-e344-4afb-ad20-7af99fd083d2","resolution":{"observed_at":"2026-08-05T10:28:50.679776Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.431904Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.431904Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:a531fb76394a390e11469bf24d61f6d551a5db77736da89cad49654aa0526ac1","observation_id":"2efee2db-15ce-44b3-b21c-e38b17d04d3d","resolution":{"observed_at":"2026-08-05T10:28:50.431904Z","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-05T10:28:50.436307Z","title":"Coppolillo, F","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.436307Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:fa602fb679ae390f50fdb3d274f3bee02310a546fd25e876044452eb2f329298","observation_id":"9e339f4f-652b-4ebb-a718-1c5fa43d2dee","resolution":{"observed_at":"2026-08-05T10:28:50.436307Z","resolver_source":null,"status":"malformed_identifier"},"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-05T10:28:51.105637Z","title":"Shanahan, Talking about Large Language Models, Com","venue":null,"work_id":"060f4902-2727-483a-bda9-4a77519578a5","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.440806Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:4eeb1f1d677775e447c0e516dec273ee72636e8ca93b2ecdb78e742482df9adf","observation_id":"5b87c9c6-32dc-45d5-990b-fa669dfdc31e","resolution":{"observed_at":"2026-08-05T10:28:51.112069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:51.083124Z","title":null,"venue":null,"work_id":"d5ed8c71-e7e0-4709-822d-02abd70fdcb5","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.445813Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:8f148231d0d215a56e4736dd7e4c0827810c7c689493adf659e0f2784f5f274f","observation_id":"2232311b-45ef-4a73-b20b-498c85e45674","resolution":{"observed_at":"2026-08-05T10:28:51.091070Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.450155Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.450155Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:7232b56a3fc03610ca1285aa437d1c71bae679dbdaf3d738eba625663ea65062","observation_id":"1da12275-2039-45e1-bd17-c87a3a80cd89","resolution":{"observed_at":"2026-08-05T10:28:50.450155Z","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-05T10:28:50.454416Z","title":"Badreddine, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.454416Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:b77812c70649ed6ee161fed60aff8122f0027b302f8db5f5f5d523a272a070ea","observation_id":"70715091-fc05-4af3-99a0-481e95119e29","resolution":{"observed_at":"2026-08-05T10:28:50.454416Z","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-05T10:28:50.458863Z","title":"Eiter, T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.458863Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:4e09987c778839afe29874a6983ee02a807f80b12918416d69b4dec9b0fb7a0a","observation_id":"7c0c6753-751f-44df-837f-ac14ac6cacff","resolution":{"observed_at":"2026-08-05T10:28:50.458863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-05T10:28:50.463449Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.463449Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:b48eb350cca1eeb3067c2d41204d7f49cee29114f560021dc21999c2278903db","observation_id":"f70e50fb-bb74-4dcc-a44b-c2b56ed1bb00","resolution":{"observed_at":"2026-08-05T10:28:50.463449Z","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-05T10:28:51.061803Z","title":null,"venue":null,"work_id":"a55aa09c-afd1-4d83-80b9-5f4b30423394","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.468216Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:55d1ef3eb9b792895186c792f1f6d4e29868ff2223d37ff685d3939dd3b04758","observation_id":"42127623-1812-4cdb-afe6-04dca2c8d531","resolution":{"observed_at":"2026-08-05T10:28:51.068511Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.16114","snapshot_observed_at":"2026-08-05T10:28:50.472815Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.472815Z"},"links":{"cited_paper":"/paper/2505.16114","citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:325f12952f4167045dbaa4f32ef77dbe9801b88d4cd0dde7b643efdb5786187e","observation_id":"0e9167ce-6ebd-45c6-9b4e-965e1fac6b12","resolution":{"observed_at":"2026-08-05T10:28:50.472815Z","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-05T10:28:50.477838Z","title":"Tafjord, B","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.477838Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:f0c3e480469deee14f95e9a5affddd584823084b689470e5ba5eaf01c63ad35e","observation_id":"32e10f71-bf05-4647-8d63-1dac94615bf0","resolution":{"observed_at":"2026-08-05T10:28:50.477838Z","resolver_source":null,"status":"malformed_identifier"},"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-05T10:28:50.482732Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.482732Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:eaed56834f23818e2530c4ed0364c8df4f33cd42e52bcafb17c10325be7bcd33","observation_id":"6125d7ee-d216-411e-b419-b9e4767dbaa3","resolution":{"observed_at":"2026-08-05T10:28:50.482732Z","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-05T10:28:51.035376Z","title":"Frederiksen, Applying Expert System Technology to Code Reuse with Pyke, 2008","venue":null,"work_id":"d648c019-de46-4fd0-950e-15ba6ac51a4e","year":2008},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.487143Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:8a2280e1c18136c3c5aa4abdcd96a47088a8eb0dc1224c85ecf2dd72e927bd6c","observation_id":"3ef05367-cd63-4967-b082-3696b73a18ed","resolution":{"observed_at":"2026-08-05T10:28:51.045728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0004-3702(02)00207-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Gelfond, N","venue":"Artificial Intelligence","work_id":"9f28e5c2-2449-4fa7-83e6-d318483760cc","year":2002},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.491454Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:b0f8345520fb0467fde50d05cbf8bb8e27429ea4ce04a760554991510885e9b2","observation_id":"e65cb260-2ba8-43a1-9640-359fbe50b6d0","resolution":{"observed_at":"2026-08-05T10:28:50.596704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.495430Z","title":"Schaub, S","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.495430Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:a0a602c191b42fd8ec1db1c7aa0c5dfc5e6ae6cd76a14314d6d4660017f3498c","observation_id":"9de085d5-111e-4419-bc62-2c50ee2a419d","resolution":{"observed_at":"2026-08-05T10:28:50.495430Z","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-05T10:28:50.499512Z","title":"Kaminski, T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.499512Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:f4727c9179898c992d26385332bc2ce04870c61bc3e66840b7588590a5db6520","observation_id":"7fa1bb25-f876-442e-928f-66267e72b523","resolution":{"observed_at":"2026-08-05T10:28:50.499512Z","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-05T10:28:50.503925Z","title":"Gebser, R","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.503925Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:c50e35a1289ee624dfd2144200e9ba25869ea158a524058278276468c3328216","observation_id":"b5cb10a9-682f-413d-b808-395ec330b379","resolution":{"observed_at":"2026-08-05T10:28:50.503925Z","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-05T10:28:51.017083Z","title":null,"venue":null,"work_id":"f33d6fdb-9460-4ad2-914f-2c8788b528ff","year":2009},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.508609Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:319ff511d710df7a21b7766316fa9982518f3fb58329711393765adcd6aa70ad","observation_id":"b27439e8-c7ce-4c10-902c-1263aab4214b","resolution":{"observed_at":"2026-08-05T10:28:51.022450Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.996028Z","title":"McCune, Prover9 and Mace4, 2010","venue":null,"work_id":"e92fccf3-fc24-497a-a55e-7810c2d1d5c1","year":2010},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.512884Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:d2554769eae1696db020844d65c50ffeabc3bbe46c7610bf7cd990e48bf5ae08","observation_id":"276b0a09-aa37-4b48-85bd-130ba0241cd1","resolution":{"observed_at":"2026-08-05T10:28:51.003251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.974025Z","title":"Fahle, S","venue":null,"work_id":"fb8f954c-d443-4acd-91cd-00b12ae05fc7","year":2001},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.517373Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:6b63e0d9c4a918c50d485c37cc0eb7f9de1fde75638c03f79d19e49c663de62f","observation_id":"cf0d6dea-a584-4894-a885-8759111259a2","resolution":{"observed_at":"2026-08-05T10:28:50.981756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T10:28:50.956926Z","title":"Beiser, M","venue":null,"work_id":"66336b1d-1f7e-4682-a787-4522cb27c873","year":2024},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.521451Z"},"links":{"citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:122c83f6cff7f753ca9aa36f1b4bcec3333268c7d072dfcc30c7575117c2996c","observation_id":"e5833eeb-19c2-42e2-bf51-dbbae43e37a4","resolution":{"observed_at":"2026-08-05T10:28:50.962016Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":2,"verified_fuzzy":5},"total_outbound_references":31},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2509.04083."}