{"as_of":"2026-08-14T20:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:db0511041e7de252e58a3f56e5a7d3ec7b0c94284b3273dd35138f56f3612146","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:45:30.423728Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"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/2501.00830/citation-record","integrity":"/paper/2501.00830/integrity","json":"/paper/2501.00830/citation-record.json","paper":"/paper/2501.00830"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.750169Z","title":"impossible","venue":null,"work_id":"e8b612d9-eb27-4a7a-a4ad-7d464db23d46","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.342727Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:2b7b519d0a5f3ca48c2af3443ba3981826f7e77fddc9bdbd0f535736bacce6ee","observation_id":"f8cca132-43cc-45ad-936d-0a0852c9aa26","resolution":{"observed_at":"2026-08-10T22:45:30.754403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.737448Z","title":"impossible F","venue":null,"work_id":"76f07ba7-12ee-420d-b648-4e7c22ca061a","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.347342Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:cbf89317e505ac679c84ae6961b822d3459f984aa7f0a2d89e18676df7b357a4","observation_id":"cb4c6657-b74b-45ab-a0d1-bfd357ec5465","resolution":{"observed_at":"2026-08-10T22:45:30.741530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.724172Z","title":null,"venue":null,"work_id":"65932833-04e9-4ca4-ad8e-d55417142ebb","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.351927Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:1d49925f287a12cc23186880b44edf22e99b66ce39971c2d519d330367465845","observation_id":"ea389e81-6ebc-41b5-926d-0fa9cc5af66e","resolution":{"observed_at":"2026-08-10T22:45:30.728595Z","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-10T22:45:30.712075Z","title":"a causes G if H","venue":null,"work_id":"723738ee-6223-44a7-a52d-fa972134ccff","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.356302Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:d8ef6cb08e5980225a178ce875b49e5661521af46244b722ba74f0c21bdd9032","observation_id":"10793915-a3ae-4472-a17d-742fc0151815","resolution":{"observed_at":"2026-08-10T22:45:30.715542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.700698Z","title":null,"venue":null,"work_id":"8c52ee03-e066-4fd6-993c-de29a5c0c5c0","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.361024Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:d3e25afbb0a6417efab4896f2bed60facca9f3a65c1a008dbf0c3a258ef60cfa","observation_id":"2c59be0d-646a-43ab-8407-b6cdf6e93e7c","resolution":{"observed_at":"2026-08-10T22:45:30.704295Z","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-10T22:45:30.687693Z","title":"default c=v if F","venue":null,"work_id":"edbfa27a-084f-4beb-ba41-2654b8ec208a","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.365461Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:b4b0ebd90825c5efc48ec5217fa867febfb0dd0296186d82e0f2c3c229f48c19","observation_id":"13d631a8-54d5-4508-b8f1-b686b047c460","resolution":{"observed_at":"2026-08-10T22:45:30.691236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.676077Z","title":"always\" shorthand abbreviations should not contain","venue":null,"work_id":"0705e7b0-7f67-4cf4-9906-51cc44d77934","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.369603Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:eb840a380b7ba059236b3975059f18fb2f5e764f9245d30f960c0c0f665b9433","observation_id":"d8cf132a-f751-4edb-9b98-77f66f8427ed","resolution":{"observed_at":"2026-08-10T22:45:30.679732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.664079Z","title":null,"venue":null,"work_id":"62d4e04e-fe75-47ba-9804-ee6d132c1d7a","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.374100Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:f1543c8dff99015ccb66d40990e1bdcc05e047aabb82fad3db98e593b4b62212","observation_id":"06fd7bf2-ec95-4b74-88cf-11f63f393576","resolution":{"observed_at":"2026-08-10T22:45:30.668321Z","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-10T22:45:30.651631Z","title":"For example, do not use the following: nonexecutable move(C) if roadBlock(loc(C))","venue":null,"work_id":"1c526ef4-be92-4966-967c-ebfe80ee6d49","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.378392Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:b7e959eef6a5b90f2084cbd7b8138d9e05af74f32a72d5d6f17f2e2ed66002d2","observation_id":"3d943381-dea1-4dc1-a964-5695a25deda3","resolution":{"observed_at":"2026-08-10T22:45:30.655897Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.638905Z","title":null,"venue":null,"work_id":"ecc33593-2aae-4b61-a78b-f54df8f20cd7","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.382632Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:81bae9d9ba87d2b622ba7590738dc0eb1f2907891987912236c6ab5d08e754a1","observation_id":"76b02dcd-6296-4b77-aba5-4946e9970813","resolution":{"observed_at":"2026-08-10T22:45:30.643111Z","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-10T22:45:30.624478Z","title":"If new constans are used, then they must be added in the declaration","venue":null,"work_id":"786af88b-6fe8-4ae0-bc8a-7241abdf5991","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.386764Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:c37db0285c6cc60e10ff487a72a3a55d2664a7dea89ff20a34a7149f0834cfc5","observation_id":"d38b305e-525b-4c93-8a37-31f6758ab043","resolution":{"observed_at":"2026-08-10T22:45:30.629119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.610992Z","title":"capacity(vehicle)","venue":null,"work_id":"ba6ac2b9-8123-46f3-80bf-abaf0a5d40b6","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.390992Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:ba46f2eaf9fc91a4dc5d3c83166b6e3eebb5ece2926685093d22e1d16ed3fc74","observation_id":"a28085d7-74ca-40d1-8aae-98b549d076bc","resolution":{"observed_at":"2026-08-10T22:45:30.615308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.597471Z","title":"inertialFluent","venue":null,"work_id":"c2f88d88-627e-4542-ab61-32cce9375439","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.395608Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:4b11ca0d3fac3e9093b2ab001930aceec94204250b9d4af9777ff412a2ae6958","observation_id":"2be5f9d1-fc09-4007-ada3-b5b8ff2de619","resolution":{"observed_at":"2026-08-10T22:45:30.601663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.583208Z","title":"country(location) :: country","venue":null,"work_id":"462b0422-e14f-48a9-91ab-a9da3ad19c36","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.399878Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:8d837c36e5723d87c5d69bcf2a050a5c4008f5a8a158454a6636e7947bd6dce4","observation_id":"862fe714-c218-4db3-a9f2-ca922b4c1657","resolution":{"observed_at":"2026-08-10T22:45:30.588028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.569161Z","title":"always F","venue":null,"work_id":"2c54da9a-3c96-4a10-9801-8dedbe91402a","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.404321Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:fb54d790222e3f01efeafe25c181f08002c7af6b594ecf08e17ce885d0b17f14","observation_id":"e83cbec9-b564-40b6-9520-2687b7236aac","resolution":{"observed_at":"2026-08-10T22:45:30.573389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.554480Z","title":"They must be set to variables, and the variables must be used as the operands","venue":null,"work_id":"a192e250-6688-45b4-8ae2-c39b99c2d9a4","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.408901Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:d74a0e26718c070b7629203b25a9c180d7f182dcf30914c0db44530b30a5eda7","observation_id":"edc0ebd8-c64c-4c47-9d24-2a6f39e8aaf5","resolution":{"observed_at":"2026-08-10T22:45:30.559146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.541134Z","title":"[ CHANGED]","venue":null,"work_id":"fc745910-2475-4d65-aa6c-b669b283c96e","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.413190Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:8697522206738872843061131a90a9145fb55e5e1f443c3e90700c6dd848d2a4","observation_id":"5f8cc447-dbac-477f-856c-248a46faa56e","resolution":{"observed_at":"2026-08-10T22:45:30.545432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.527248Z","title":"In some cases, the sample queries themselves may be wrong (e.g., a syntax error), and can be re-written","venue":null,"work_id":"e51e7914-9c03-4dba-ba12-f2f33f8584e2","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.416834Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:54f94afc42d63646375fa2e3240686ee347610ed6e137d731782712cd9e11814","observation_id":"6d36d138-95e0-4f32-ba32-ed97e302aac8","resolution":{"observed_at":"2026-08-10T22:45:30.531946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.513042Z","title":"Main query and output","venue":null,"work_id":"2b8e656a-76a9-41e9-8b76-47e4d5246925","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.420424Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:3208bc0501136d8c5eccc0dce721427e5ebec509d3256df3d54c8db65eef4e3d","observation_id":"314d5371-2ab3-4494-836c-b59fe1642a44","resolution":{"observed_at":"2026-08-10T22:45:30.517507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:45:30.497851Z","title":"int” needs objects instantiated from 0 to 8 (written “0..8","venue":null,"work_id":"e3feaebb-7703-4341-9305-92aaca11c858","year":1998},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.423728Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:a1dc4450b81b072afd9549d05310c462b4ef23dcb292a596ca0dc7df4315fdfd","observation_id":"4d374685-340a-4673-a8b4-5dbf247b26fb","resolution":{"observed_at":"2026-08-10T22:45:30.503706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.03262","last_updated":"2023-04-18T14:45:18Z","snapshot_observed_at":"2026-08-13T12:07:51.089676Z","submitted_at":"2023-04-06T17:47:29Z","title":"When do you need Chain-of-Thought Prompting for ChatGPT?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.03262","snapshot_observed_at":"2026-08-10T22:45:30.319533Z","title":"Chen, J.; Chen, L.; Huang, H.; and Zhou, T","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":318,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.319533Z"},"links":{"cited_paper":"/paper/2304.03262","citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:2f7872d06551c6203b6a13a26a657e1cca9ecc95364004b9287a00f50dff3cc6","observation_id":"cfbd6269-5c0f-4a6b-a949-008a74cd9734","resolution":{"observed_at":"2026-08-10T22:45:30.319533Z","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-10T22:45:30.763135Z","title":"Frontiers of Information Tech- nology & Electronic Engineering, 20: 363–373","venue":null,"work_id":"1334d1bb-369a-4197-b50b-8036335465cb","year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.325399Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:c18e078c5f505236f0a0b838ae22cc00214420313c7f1cf0859d7f102c156fc0","observation_id":"8a761a20-da21-47c3-afc9-ca86a755d459","resolution":{"observed_at":"2026-08-10T22:45:30.767976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.04776","last_updated":"2025-03-12T04:56:46Z","snapshot_observed_at":"2026-08-13T00:12:39.472825Z","submitted_at":"2024-05-08T02:48:28Z","title":"Chain of Thoughtlessness? An Analysis of CoT in Planning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.04776","snapshot_observed_at":"2026-08-10T22:45:30.335933Z","title":"o1-preview","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.335933Z"},"links":{"cited_paper":"/paper/2405.04776","citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:7515a468eaef9b67a9d0c4f2a60f0c02de392bd0307d5ad4f086888cf52c99b4","observation_id":"ecbc1f01-5874-41bd-9ad2-f266c84f17ad","resolution":{"observed_at":"2026-08-10T22:45:30.335933Z","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-10T22:45:30.314594Z","title":"In Conference on robot learning, 287–","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.314594Z"},"links":{"citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:6c2dd111b5e8c177694c11e425bf9af60211c7cb907b10074dcda6a62d701c6e","observation_id":"5fe8b5cf-bbe7-408c-9709-113cfd0cfc5c","resolution":{"observed_at":"2026-08-10T22:45:30.314594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.11477","last_updated":"2023-09-27T07:29:44Z","snapshot_observed_at":"2026-08-12T21:21:48.006892Z","submitted_at":"2023-04-22T20:34:03Z","title":"LLM+P: Empowering Large Language Models with Optimal Planning Proficiency","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.11477","snapshot_observed_at":"2026-08-10T22:45:30.330402Z","title":"Kim, G.; Baldi, P.; and McAleer, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-10T22:45:30.330402Z"},"links":{"cited_paper":"/paper/2304.11477","citing_paper":"/paper/2501.00830"},"observation_digest":"sha256:faf2c8a4a21f78311a050e38de5ba166f75debfdc8269f8c4d39787882370ad2","observation_id":"1b001244-f28f-4906-92c4-48853d471343","resolution":{"observed_at":"2026-08-10T22:45:30.330402Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.00830","last_updated":"2025-02-04T14:37:29Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-13T10:45:51.947036Z","submitted_at":"2025-01-01T13:20:01Z","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":17},"total_outbound_references":25},"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 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2501.00830."}