{"as_of":"2026-08-08T23:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:494fc670debb357a7740d561d6ef50d21e0108e862e720269f79ce9af696de89","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:55:18.599349Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.16998/citation-record","integrity":"/paper/2505.16998/integrity","json":"/paper/2505.16998/citation-record.json","paper":"/paper/2505.16998"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-07T14:55:14.658738Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.658738Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:cfd06e388f26204e299bada02db97b0e966de2d609a5d789d24b339a312b5de1","observation_id":"6c7de9fa-e065-4966-8fa2-57e70a23028c","resolution":{"observed_at":"2026-08-07T14:55:14.658738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.16609","last_updated":"2023-09-28T17:07:49Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-09-28T17:07:49Z","title":"Qwen Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.16609","snapshot_observed_at":"2026-08-07T14:55:14.705132Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.705132Z"},"links":{"cited_paper":"/paper/2309.16609","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:68b0867d403287262bab376ad997e882b3c5df03d393e5b7aa945628e52247c3","observation_id":"66da4b50-8837-415a-b8c0-4a5b6dd415db","resolution":{"observed_at":"2026-08-07T14:55:14.705132Z","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-07T14:55:24.483891Z","title":null,"venue":null,"work_id":"cb8251be-d6c5-458b-bd2c-fdd6d3d9a7d9","year":2020},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.757944Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:6580d7bbc120279a1451056619ad67bc40f01f7c56b3c742ce8f4731ed6e0ef8","observation_id":"e677de2f-71a9-45a7-a52b-2056581f99c3","resolution":{"observed_at":"2026-08-07T14:55:24.540660Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02954","last_updated":"2024-01-05T18:59:13Z","snapshot_observed_at":"2026-08-02T13:11:16.882565Z","submitted_at":"2024-01-05T18:59:13Z","title":"DeepSeek LLM: Scaling Open-Source Language Models with Longtermism","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.02954","snapshot_observed_at":"2026-08-07T14:55:14.822389Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.822389Z"},"links":{"cited_paper":"/paper/2401.02954","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:d58053af504ca87cff842d4e3b71ea8c9d0b230459fcedec9d904bd5cb5d7bda","observation_id":"0b259939-b852-4560-ae4e-023784a87b3e","resolution":{"observed_at":"2026-08-07T14:55:14.822389Z","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-07T14:55:24.374615Z","title":null,"venue":null,"work_id":"ebf4afc1-5680-4dcc-9f8f-31bce80b4f04","year":2015},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.894041Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:9b21e8d316330052c6781aad87fb4e8014d792e2b02e3e6ef83c42e48baba368","observation_id":"23ac9679-d4a6-4990-b910-fe5c8ad97c27","resolution":{"observed_at":"2026-08-07T14:55:24.409043Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:24.263686Z","title":null,"venue":null,"work_id":"d3e1f646-cfcb-4913-8570-bbe0b306064b","year":2005},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:14.959542Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:95e41d1ee02b199a98cc95635a75b7212976bacf3f85dc261a27eab7d1af0717","observation_id":"df0d59f0-98f3-4cc6-8a4f-33b92f67fbad","resolution":{"observed_at":"2026-08-07T14:55:24.319554Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:15.058135Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.058135Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:683596ebafadc772b2c78c54898f54287f9e38ed5d681f8710492419c439a580","observation_id":"0142441a-0249-4c8b-bc2f-144b7dba5034","resolution":{"observed_at":"2026-08-07T14:55:15.058135Z","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-07T14:55:24.135432Z","title":null,"venue":null,"work_id":"a39ea347-1b15-462a-95d1-1e161596d4d1","year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.134407Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:caedfebb1a088574c0906011c15a850f450bcf6b998d1bda9aa46390882d1020","observation_id":"cc323bb1-4033-46b7-a623-669ec2cf0bb8","resolution":{"observed_at":"2026-08-07T14:55:24.189259Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:23.973996Z","title":null,"venue":null,"work_id":"7e0522d3-01e6-4d6e-b9c8-ed72800da968","year":1991},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.222424Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:165f1f6286f0a1da0f45af1ed6fedf940dd6eec110eec364f9e4890eea00f7be","observation_id":"d48f19e3-bc24-4ec0-8d72-bb90c9436c2c","resolution":{"observed_at":"2026-08-07T14:55:24.055726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:23.853794Z","title":null,"venue":null,"work_id":"5738265e-0785-4574-9200-5498e4f24592","year":2000},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.277810Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:2eeaa0a91d6c146d2983a6ab2a0210f65bd482a44c904cb2a29433969fb9f7d9","observation_id":"7e05e8ee-6bbf-4449-97f5-0c66b624a8b0","resolution":{"observed_at":"2026-08-07T14:55:23.901376Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:23.700886Z","title":null,"venue":null,"work_id":"eb1b34e3-eaa4-406f-94f9-2e07e83c0a6c","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.332338Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:f2b27db06f1c52325ac17906085322a9ece7a34a87f3d5d8395bcd6b05768f3d","observation_id":"c14b7701-3a50-4cdd-a841-dc4bb4440777","resolution":{"observed_at":"2026-08-07T14:55:23.769503Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:15.406208Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.406208Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:dcbc085d6cbb334e69b4207043c1f638b69a3c9b3c28c7923d9dfa15e67642fb","observation_id":"809d7c80-a9ae-4835-9c79-f2c894299363","resolution":{"observed_at":"2026-08-07T14:55:15.406208Z","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-07T14:55:23.510615Z","title":null,"venue":null,"work_id":"c22c48a9-c7d5-4c06-97d9-807561f7d69d","year":2007},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.537534Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:b338277443092417d8eddfac0c4fa46ab9ac1e8f80f473275654a40952f1d924","observation_id":"b16244c9-0273-4293-af65-11dba7e0e89b","resolution":{"observed_at":"2026-08-07T14:55:23.595593Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:23.362856Z","title":null,"venue":null,"work_id":"ccbf6aea-b6e4-4cde-aa8d-08439737fad4","year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.674089Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:6cbcfbca5c225ac85ea7a90fb45efb77aaa8c6510636827b8dec5c632571b866","observation_id":"101a67c2-0d7e-492a-a5b2-3e939898daf7","resolution":{"observed_at":"2026-08-07T14:55:23.421088Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-07T14:55:15.772503Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.772503Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:8bd9b392979ac3d0484cb4276bb77a88c0547974eb5d36faedf6b3146de9dbb0","observation_id":"3cbd9fff-cf40-4e7a-beb6-1061b688614f","resolution":{"observed_at":"2026-08-07T14:55:15.772503Z","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-07T14:55:23.211506Z","title":null,"venue":null,"work_id":"eb57d729-23c7-4101-bf70-669bddf8bef1","year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.866200Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:843303ca993f8cd61f5a0214d2b0207768a4c33d6bcfc152b3dd72264737848f","observation_id":"2cdeb301-79bf-4a81-9cb1-81cc87c6d850","resolution":{"observed_at":"2026-08-07T14:55:23.261594Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:23.071122Z","title":null,"venue":null,"work_id":"9c6b659c-c37e-4959-8aec-44ece9afc225","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:15.953177Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:633b93352813643ea13472cf9372af55256309ab2092aa869f298dde0041888c","observation_id":"2cdff682-f2bb-4579-92a6-40009454f941","resolution":{"observed_at":"2026-08-07T14:55:23.128261Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:22.926537Z","title":null,"venue":null,"work_id":"ae5993b1-6dd4-4faa-afe5-3f0ca0230503","year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.034448Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:0c05b17f33aa7ba6741c0aa445912a0949ed4955197a8a908303ab9f75af6594","observation_id":"5d9d2dbc-2ff3-455d-881e-587b399c8cf6","resolution":{"observed_at":"2026-08-07T14:55:23.017687Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:22.720483Z","title":null,"venue":null,"work_id":"08dfecf6-f2e2-40a0-b549-eae46620cf26","year":1999},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.102696Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:567c0b94f946b383e00b9bb0ca1af3db86335a40f10fc86c01e2785e7df64dc0","observation_id":"d380dc2d-0fff-47eb-94cf-3d9480f06ffd","resolution":{"observed_at":"2026-08-07T14:55:22.791546Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19187","last_updated":"2025-05-06T15:11:32Z","snapshot_observed_at":"2026-08-07T17:46:00.833139Z","submitted_at":"2025-02-26T14:50:50Z","title":"BIG-Bench Extra Hard","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19187","snapshot_observed_at":"2026-08-07T14:55:16.192399Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.192399Z"},"links":{"cited_paper":"/paper/2502.19187","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:571577ef819e75318a24f3a01429419598efa0361b8dea804e65ad0ddc075bfb","observation_id":"eb7e8847-5ffd-44c6-9aa3-af7f4a129e46","resolution":{"observed_at":"2026-08-07T14:55:16.192399Z","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-07T14:55:16.275357Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.275357Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:1eb4cb0f008718b2504d3e4a8249978646544b9eda1c64404b2f7bbcb0735814","observation_id":"96ce911b-f318-4551-938d-99ee12f347f8","resolution":{"observed_at":"2026-08-07T14:55:16.275357Z","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-07T14:55:16.366965Z","title":"Gonzalez, Hao Zhang, and Ion Stoica","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.366965Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:2c296db34f29e5c7ad2ef744f2bff6dfe95a8c068da7c05c92f357cbc01e1b40","observation_id":"268d4458-9678-48a5-81f8-3631094c35d7","resolution":{"observed_at":"2026-08-07T14:55:16.366965Z","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-07T14:55:22.551553Z","title":null,"venue":null,"work_id":"1709feb7-d63a-46d2-8a46-7217bdbd93c9","year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.477472Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:ee1c5827c9464b84b59277a8d848b1f4b9805aba8a69bc1e7dfe6ab91a42774c","observation_id":"c6dc0f63-5538-4a03-8685-279b149ef224","resolution":{"observed_at":"2026-08-07T14:55:22.620894Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:16.551287Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.551287Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:62b4886f46df345e1b95c6830e9a243094fddb97fcb1f1e4ea80ed24b8d4be63","observation_id":"b6e01ddb-5b1e-4298-b4d6-1896771f3b8d","resolution":{"observed_at":"2026-08-07T14:55:16.551287Z","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-07T14:55:22.415742Z","title":null,"venue":null,"work_id":"b6d0c61f-cb7d-4da5-8a8d-54c45ff1dd3e","year":2020},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.643421Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:df5b3fa5d23d4173100037abf415160147daeb3aec8062e97f5113c3193d5a4f","observation_id":"089c168e-ab3d-4757-9223-039a73306a51","resolution":{"observed_at":"2026-08-07T14:55:22.467235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:16.719554Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.719554Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:d356a125fec608949390e2538e41e11553efc4b5343ddf70f3e5867933e77e84","observation_id":"303743fd-b2ad-4d22-94e4-2b363556f193","resolution":{"observed_at":"2026-08-07T14:55:16.719554Z","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-07T14:55:22.267757Z","title":null,"venue":null,"work_id":"9adb5724-882c-4883-8611-a035724b6394","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.776926Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:f360b97d3b8a588f0f632bdeb219beec677639ccb2475eac7c939836f73fb7d0","observation_id":"ec6545b3-87a6-453d-81b6-782dd0b751b5","resolution":{"observed_at":"2026-08-07T14:55:22.318349Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:22.116774Z","title":null,"venue":null,"work_id":"d06dd0c9-2275-478f-a91c-01576feae5c8","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.851536Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:55bd5d23f960d53f161b83bd944de624fb49f25a9fbf68f9331d7edf6f289cfa","observation_id":"30d48536-e071-41fe-8182-bf7d2ca6f809","resolution":{"observed_at":"2026-08-07T14:55:22.192840Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.993885Z","title":null,"venue":null,"work_id":"21d543b9-9aed-4c53-8c3b-ccf90399bfcb","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.907574Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:3cda395ac6bc2430d3b8edfd12d827b53f9e64815321b7fef7623d75efa8a408","observation_id":"5f45eac0-abe4-44d0-959a-1126f14bd2a5","resolution":{"observed_at":"2026-08-07T14:55:22.059113Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.885950Z","title":null,"venue":null,"work_id":"3dbfe475-ffbf-4c27-ba58-06870f0d98b4","year":2003},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:16.966318Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:a524a35054ecb4a31adc3d068d50951028bdfc334800bebfc8b6ec74faaf86b0","observation_id":"eac11577-8599-4d4d-a354-d95de4ed1a0c","resolution":{"observed_at":"2026-08-07T14:55:21.934572Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.752761Z","title":null,"venue":null,"work_id":"f6bf4b9b-7946-4549-adf0-6c3ecb0435c4","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.030848Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:85bddbcc7021a8877574bfdf49f6e818be085620433c1caa5730c57a830b0ce1","observation_id":"f9be5e4f-ab87-493d-af30-948cbed8c42e","resolution":{"observed_at":"2026-08-07T14:55:21.816796Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.587137Z","title":null,"venue":null,"work_id":"782066c1-c2d2-46f6-af31-82b786650758","year":2019},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.091701Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:ebeabcff5f95c58dbec16453819c135c4e159a7921984f5b00eef9156280fb28","observation_id":"1427c1ce-122c-477b-8b75-e91e8ad44439","resolution":{"observed_at":"2026-08-07T14:55:21.664658Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.09261","last_updated":"2022-10-17T17:08:26Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-17T17:08:26Z","title":"Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.09261","snapshot_observed_at":"2026-08-07T14:55:17.172241Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.172241Z"},"links":{"cited_paper":"/paper/2210.09261","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:e94a75f0e9aeda94242497990e2afea9084ca2d8def0fbec3c802b0b5898aeec","observation_id":"b73494fc-e5c8-4562-9725-ff863769780d","resolution":{"observed_at":"2026-08-07T14:55:17.172241Z","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-07T14:55:21.467734Z","title":null,"venue":null,"work_id":"bec5994d-2376-40f0-8ce6-da983b0b07ff","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.238284Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:f5d23c565994c107ba01a77fbb16b9d362b16c76e64a96db1b3bb561db55fa3c","observation_id":"137c433e-5507-4dd8-8fc6-cbd81eb54771","resolution":{"observed_at":"2026-08-07T14:55:21.519698Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.283605Z","title":null,"venue":null,"work_id":"90dc02f0-1ad1-4d63-a46d-076b0b95fead","year":2022},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.301387Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:601b956e5cb06401ea22ab8b648d44e8711b1f0f56e4b9c051d5fb5f20891af1","observation_id":"c5ab2aef-4ef9-4764-9f13-fa776b4a59a7","resolution":{"observed_at":"2026-08-07T14:55:21.367271Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:21.106458Z","title":null,"venue":null,"work_id":"c25c985e-763d-4de4-ad9d-d4093082c44d","year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.350409Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:8c4cbdf1b0f3fe2dcbf98d8fe81346b66552a05a691e240b51a3c65ab8a83fbd","observation_id":"2f88664d-4a08-4965-a4b8-bb69417e4560","resolution":{"observed_at":"2026-08-07T14:55:21.190934Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:17.425656Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.425656Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:c1d9e4a791d1fd7a1b51c2be90e62da766bc53bc5584bcb9b1ea5a0a3dc64e1f","observation_id":"b3ba3828-d87b-455d-b822-44b5d1a19191","resolution":{"observed_at":"2026-08-07T14:55:17.425656Z","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-07T14:55:20.807315Z","title":null,"venue":null,"work_id":"2142fdf5-ef0f-4b5e-b520-bc864ec2da13","year":2015},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.490529Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:8253297295030799b0279e870180aa8a2971455e08ab399a92f3b9b52dda8a98","observation_id":"3b60fa91-e461-4471-b00d-8873fea62e7e","resolution":{"observed_at":"2026-08-07T14:55:20.956191Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:20.563981Z","title":null,"venue":null,"work_id":"5c7dbd45-c92b-4e4a-ab91-9f438d2889cf","year":2016},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.568592Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:9c2cdddd027d16fc42a3c173c11f7bc4cadec1881317e0deb5444f2ccf92e29d","observation_id":"050e9977-952c-477e-b377-b5fdea4e18f7","resolution":{"observed_at":"2026-08-07T14:55:20.667628Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.20213","last_updated":"2025-04-28T19:25:29Z","snapshot_observed_at":"2026-08-07T15:58:28.032439Z","submitted_at":"2025-04-28T19:25:29Z","title":"Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.20213","snapshot_observed_at":"2026-08-07T14:55:17.680028Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.680028Z"},"links":{"cited_paper":"/paper/2504.20213","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:406fcd87a1cab3bccefd75cceaf45a298b09526cf80576117acc2875a1d93427","observation_id":"a36935be-7c2a-4cf5-b781-333530a5bf0a","resolution":{"observed_at":"2026-08-07T14:55:17.680028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.16461","last_updated":"2024-09-24T21:24:07Z","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.16461","snapshot_observed_at":"2026-08-07T14:55:17.740445Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.740445Z"},"links":{"cited_paper":"/paper/2409.16461","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:3bf2c8ecf0e3f85b43d1dd1a854a70d5b52f187ba7e3125c8853ed3f37bc8f0e","observation_id":"ca608db8-6b78-4f60-acac-53d8d037c4b7","resolution":{"observed_at":"2026-08-07T14:55:17.740445Z","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-07T14:55:20.291404Z","title":null,"venue":null,"work_id":"7531d6b5-a3ec-49dc-b928-959828b194c2","year":2025},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.822117Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:d95a25f4d9485f8ff9673b2d00d2daa75b47a273fc4815f4f839dc9d537091b8","observation_id":"93734a9f-b2c2-4aa6-bab0-274948bfab36","resolution":{"observed_at":"2026-08-07T14:55:20.413598Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-08-07T14:55:17.891901Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.891901Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:8b3dbab10c7a1ae3e52d7fb0bb78d86c33966d8e530cb2d59aca917d53ceaa5e","observation_id":"346e63d9-9325-4271-ad06-06abd9fb1153","resolution":{"observed_at":"2026-08-07T14:55:17.891901Z","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-07T14:55:19.959430Z","title":null,"venue":null,"work_id":"c1bfee49-570e-4d02-8236-eb37444c1a82","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.971585Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:4547e055567ff1f71f9631adfa8af7657e089106bda4181abc9371cd3d292553","observation_id":"6fd04b2b-bd46-4dac-b96c-c1890cf4394b","resolution":{"observed_at":"2026-08-07T14:55:20.107949Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:19.786150Z","title":null,"venue":null,"work_id":"8b1dffc5-23fc-4866-9201-189e55707112","year":2023},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.068925Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:5352545b84a61e835ec8896665aa657d2f8777e28d7d2e60944316e1940f425a","observation_id":"4e8d0ea3-59db-4e6f-b84d-7c1d4a2ae2aa","resolution":{"observed_at":"2026-08-07T14:55:19.863144Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:19.656630Z","title":null,"venue":null,"work_id":"68d519a4-97f7-4495-a0ff-bb41104ce9c9","year":2022},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.140373Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:34270283f17f320a18900b1410046eb91e84f1da9fc27b1e2b70b405166a0dcc","observation_id":"5516aad5-e0d7-421d-a0c7-15cf2a000a50","resolution":{"observed_at":"2026-08-07T14:55:19.703908Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:18.203779Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.203779Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:4c6e3f3ad0b6e54f458b749a836423669fd4364b0ec9dc4b9660914e0fcc2033","observation_id":"5e5333ec-e812-4ce7-a91f-7a103ed2f798","resolution":{"observed_at":"2026-08-07T14:55:18.203779Z","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-07T14:55:19.426309Z","title":null,"venue":null,"work_id":"378c51d4-4918-484c-80f6-69ba80ae4264","year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.260044Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:00325bf775d37fcd150ce30044db5bcee005e71e34c46639fcb82caf9106dee0","observation_id":"985ebc39-ede5-4cb5-8767-993f127ea823","resolution":{"observed_at":"2026-08-07T14:55:19.519808Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:19.284034Z","title":null,"venue":null,"work_id":"cad96be2-7f18-4bba-a23f-e424fc23002e","year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.310863Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:64da971538411d29d5e3cc3445a009f976d7746ece85f077304388336a1518c9","observation_id":"82aae4aa-784b-4879-8674-3075213b160c","resolution":{"observed_at":"2026-08-07T14:55:19.345548Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:19.094283Z","title":null,"venue":null,"work_id":"b8ba5f03-99f8-4e72-b05d-64b4949d4f12","year":2022},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.361359Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:17f7015cea8dc265585b689c8c521a8fc5e5d602f1f65299bbccfa90deada644","observation_id":"aa27a10d-0af9-40b3-90cd-75aa82d376b0","resolution":{"observed_at":"2026-08-07T14:55:19.194044Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:19.018681Z","title":null,"venue":null,"work_id":"eca1be43-81e1-493e-9941-e57d081c90a3","year":2021},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.401936Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:2d619e4529c7af2706d57813c7f075e1e50f5ca9dce4a9b6ea41ddbadf8bc152","observation_id":"8ca897db-57cf-4c8f-a2eb-9cfce567a8a7","resolution":{"observed_at":"2026-08-07T14:55:19.040696Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:55:18.512332Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.512332Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:f1cda86a4388f676ce55f36f30c2005930963c4c21b3218e7c93331d0ab41b99","observation_id":"1caaebb4-da3d-456d-9ff1-9cb13d959431","resolution":{"observed_at":"2026-08-07T14:55:18.512332Z","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-07T14:55:18.599349Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:18.599349Z"},"links":{"citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:1a5721e46a764d0dff3f596eb67f135b2059c5ea87f5022a92a54f71fa20a6db","observation_id":"014ddb42-fc24-46b1-afd0-e2974e2f40df","resolution":{"observed_at":"2026-08-07T14:55:18.599349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":53,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":53},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2505.16998."}