{"as_of":"2026-08-14T07:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9a1fe9db02abecdcaa2717e8400d5cc9c8c01029f69d8d247f00070c55d2b1f1","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-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-12T02:14:35.413579Z","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:59d0b3c7234c30b450d9f8873d59d6e596d7276e3836479d1fcc2606deb42041","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-08-09T21:25:20.369782Z","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-12T02:14:35.413579Z","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:16d1a84d5f1c68d8842c5d8443b943b59676a013c4286c6356bbf2c871d04fae","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-12T02:14:35.413579Z","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:fd9acfb4420498a15daabdc1a240e759a2ae653a3411b79090a8b6909512dbda","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02954","last_updated":"2024-01-05T18:59:13Z","snapshot_observed_at":"2026-08-10T17:03:38.042994Z","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-12T02:14:35.413579Z","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:82b3921073418a9cc3a09d3d5f1ca03119989616a157dd9d07b852f9876e8af1","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-12T02:14:35.413579Z","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:9f55beb53de4458b8a21da9f351fb57348a8062a1e96245ff226c2f5e10111df","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:d02c8dd2fcbf5dc9c5ebfed7bc9bfa50f9c65dc72dd98e15515fa6191d5b25b9","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:da479cb4879fcef4cbcb10aed0a97d5601f0d25819c6289598af7c951c3eca2c","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-12T02:14:35.413579Z","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:e8caec6f1c03dc4dc313b535d4dbb6a289f5b344ba42c165210af53f1fb2ab6a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:8eada4f060d1c85967567659ab8a05d7b077c0fbb57528ca8ccfe3696d285b31","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:3aa3b6d88e4d92f19b6adc7c08cd228862eaf6c48213fbd6f0d920c86a6e6e9b","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:9a397e92431148d8bf2517d82a14a81d406d19e8428bf1c7be00f213b6ae023e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:30f38e305850e1ab1caceba5cfaa72526b49b500c7c0cd1505413bfcc6a3f45a","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-12T02:14:35.413579Z","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:9715f2c54e349daf945f944e9158727be7f2cf8c8646835e28208b60a6c0e2f8","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:d494f495e369ad0b241e0d5f8d72bc8f7331380680b3e69ebfa912c3cb69a746","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-13T15:58:13.809876Z","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-12T02:14:35.413579Z","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:c027ffabbfc598676904ca67832f0f545ada0fd027cdf5d955db1b9d33ca6d62","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-12T02:14:35.413579Z","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:0e18ef09345fac2bd752fca5b1e2cfa6ce68c78bc39c18f46efb44f49556db32","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:8479a42eaa3e3bb80ee13a6f3cdc1b9d3c5b2b52e4262f072cf02300c52e6a8c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:3bc32d3fc2c2f4f55992c035b6a946bf32818e592075f7602b8e266c665b935b","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:b1e4c6d568e0a9c6696c40e2b58d61d61e4db0da15e1f85b6889b0206266ea1e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19187","last_updated":"2025-05-06T15:11:32Z","snapshot_observed_at":"2026-08-12T02:14:03.311881Z","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-12T02:14:35.413579Z","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:8757f27a0c2c15a13ee19a6c878fcf87890bb66e1f4de5637bde6ee39e5a8e41","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-12T02:14:35.413579Z","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:41bebafb55fee50f1189975701ff7a7a966064ee852499a26f40390695aa7b13","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-12T02:14:35.413579Z","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:44beda46658ec965f0a6ad08ca1b4e1b465fcf8f7e5c9f39d7b0844350c0fb4a","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-12T02:14:35.413579Z","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:25a6a99f1c996d7c09e048a3cb5df906589251eaf5b7c0301129fd345b3ef53b","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:40c7db9d7992d883696e7c36d20d232c034822a8a43236c034433f47b3db7cce","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-12T02:14:35.413579Z","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:d87c2310d85def6c4de23b0c20e0763e60027496aa2f7cea050a84fe3fef727e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:69491f4347898c01e1ef916223872e5ee79a4b87a291eef65752c5596aadcf16","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-12T02:14:35.413579Z","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:06047e9e74de03cbb8bb12f4990ab46b0830f137f66585adb81ce4560658cb63","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:1ab74543996aac85ef345b80e6f00b0c66ef19cd01213df12ecf63d7b1409d6f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:5bf3522bfee1340f48c463136f8d105ab5114eb59b625787d3f6357fb91d6ab5","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:3a87ddb4638a8afee1cebf6182216013edf024d7f163f3d9a155d9faa70378f9","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:c772fb28338a71caaff2d2c8b1bd8dff6cd440bc08933cdd6d53a6545b175079","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:ca9a3e925e225822920e5e6ac9843575a81ac2f6ce183a65f2d952dbeae333e1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-12T02:14:35.413579Z","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:5eef3301c02bbfe3785c61e68fb0e7653d0d51e2fa8de5eed67dfa635d8e897a","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-12T02:14:35.413579Z","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:4e9ec5939e7c7711e80796829484065451af47c7de6176bb600022ea1dfcd95d","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:5ecfe23880b300a0c23862fbe53e107102c615128af8feb0e6e16bc0b59627dc","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:5aec77e350a3f934eeb4505cbb059aa50ff1b5c93eb72db7ed4036ce8103d08f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:455983723a1f76fc88774e8e26a704dac1c978ac43fb0a62b38b3b488cd93f80","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-12T02:14:35.413579Z","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:d8a13f07e38f5de0f2002b4b8d2abddabb7e93b9252cd3c4f5c5242cdc98388d","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:3d13b0b034f69464d01d86cae66bf0bc4bb8ef77dd4c3d89649c8e1ea0942aa0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-12T02:14:35.413579Z","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:f884f55f3c21fa8ac95f5280c647707a790cc43fac16ac522cc091b7e2c65cd4","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-08-12T22:38:16.673530Z","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-12T02:14:35.413579Z","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:52b08c81dfc1fd41aa8b8edebdfe3fd7dc1db13e539649123b41d3d37543f5d4","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-12T02:14:35.413579Z","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:814d09cbd952689921e89d60e150b11132be6a40b09b59319b95f877a74c790f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-08-13T11:34:03.389997Z","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-12T02:14:35.413579Z","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:bd63f70499cce66910a2afb9abba79604ea950782c65ea7cb6164e2e57bcf98c","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-12T02:14:35.413579Z","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:3560ee1dc480c7f343696181584f84f01e67697a627801ae56d5dc7de20c7a04","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:4914b650edec3309776c9b782c45871bd3f4704d9401df11213c31ad57b814b1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:5b83100abe3c79d83c3642cb680eeb4f87db5deffb9f63fa7888cfaf6bc05767","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:cfdd664f1bdf0956fadc9c1aac440b9c60aacae12715baa21da4c53b8f28f17a","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-12T02:14:35.413579Z","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:44bacdb5287a7a3a9a76d020bbac7d050a321953fc247bb26b7d0495ab985b07","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:8aea1e005055835100489898807a42c5038952476b32c7d5cd450cbecf297d2b","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:910feb53c52822718f6438e7b09db63c8bbd4cd567087f321c08ab692ec89711","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:1ffaec80e605fd742364ab5d48edd765f38200f022306e8350c07127d99c6443","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-12T02:14:35.413579Z","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:172f133c5199c146831c73c7b2c3f9f49ed5f87a2f5dd92d000237e6e518f45f","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-12T02:14:35.413579Z","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:34e470aff42c1e82cefb1f5b571b756fdfcc2a13c9f72ad8947b086d17b0ee02","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-12T02:14:35.413579Z","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2505.16998."}