{"as_of":"2026-08-08T15:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9d1a4ac323ee5a8fccb31a303e6b06002c7d42e63c81fd4691aa50dd077f644f","coverage":[{"denominator":75,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":75,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T21:46:30.138696Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.23408/citation-record","integrity":"/paper/2506.23408/integrity","json":"/paper/2506.23408/citation-record.json","paper":"/paper/2506.23408"},"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-06T21:46:39.130764Z","title":null,"venue":null,"work_id":"a6f75be3-4399-4b50-b167-09661aa702e0","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:22.753717Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:171f0038e1df2ed09f91a7bd29c0ed80eefa580ecfe6b67f3b000b469b5a30af","observation_id":"560555cc-1de9-46d2-99df-0e44d94d859e","resolution":{"observed_at":"2026-08-06T21:46:39.184042Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.994720Z","title":null,"venue":null,"work_id":"ee49b18a-5e72-4996-8a02-0e43d4fd1191","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:22.871439Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:180843006c2891f0c3b0b1564c4d3f950a976c7a7a0de8bd5964fbeebda057ac","observation_id":"c7a2c4e1-c161-4052-965f-4b55dda08162","resolution":{"observed_at":"2026-08-06T21:46:39.049070Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.816098Z","title":"4 Current LLM architectures, while powerful in generating plausible text, often lack the explicit structure needed for rigorous logical reasoning and reliable problem decomposition","venue":null,"work_id":"c5b7d614-7a6e-45af-abe0-45061658715f","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:22.950771Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:0a0bcdde999e1714a73a416e98a695a3f5581ca4c9597fc757f43f9df0a43f4e","observation_id":"c98b23de-47f3-485d-a960-e8623c5aea84","resolution":{"observed_at":"2026-08-06T21:46:38.932597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.712746Z","title":null,"venue":null,"work_id":"a54d9443-0880-4fc8-9023-49c13d8848db","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.030101Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:f110576f6badfa28f06d4d095eb9e1179f46bf043f5592bcdbcc74174c879a4f","observation_id":"04c69ab7-e87c-44d5-8515-58fdefab96d6","resolution":{"observed_at":"2026-08-06T21:46:38.771796Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.580145Z","title":null,"venue":null,"work_id":"2cdfa6ac-3de3-4fd5-8a6c-ad07afcb821d","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.113187Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:0ed92831934f9eb7b9909d10c534dc109ca2d527b3abd29599b9982a347604f9","observation_id":"630b451b-90a7-4450-95eb-aa323d704d00","resolution":{"observed_at":"2026-08-06T21:46:38.620305Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.440084Z","title":null,"venue":null,"work_id":"ffc5a2ec-495d-4f17-98da-847eb87f2b2e","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.153732Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:cf3abde34ba15487172d02b8d27ce3dd75357ecc51dc69b9285b334186f153d1","observation_id":"e025331b-3dbd-4757-9784-32e1138f1d50","resolution":{"observed_at":"2026-08-06T21:46:38.522369Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.263147Z","title":null,"venue":null,"work_id":"5242bf61-c9dc-4d37-9717-c98778d63bd4","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.199160Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:7896d16ef6a90b1ce6450018e4d136823cc63c4d8d2881e6aa787345b4d49cdc","observation_id":"3f69f9f2-610f-445b-85a2-2de1037ae70a","resolution":{"observed_at":"2026-08-06T21:46:38.380020Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.174381Z","title":null,"venue":null,"work_id":"4c27e6b9-7816-4c61-a40f-262d0b837b0b","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.291737Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:51a17a94f26a0279dd0760a107d62d6fdbde220b4c79a0623c03164fce3ca1c2","observation_id":"adf9d6c5-1b15-4727-b7c9-52d3bc8d5bc4","resolution":{"observed_at":"2026-08-06T21:46:38.215234Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:38.037961Z","title":"The reader can easily see that the first question requires just a simple yes/no answer","venue":null,"work_id":"d6a78e6b-bf1b-48cd-a0a6-9fdc02c64379","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.339215Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:6cd838fe66f0bc4a1bbb1576e65ea9168bb1424eb52dbe9ed561f86655f7d23e","observation_id":"4706e16e-5744-4275-8906-f8a4114e7d11","resolution":{"observed_at":"2026-08-06T21:46:38.104815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.943337Z","title":"To answer the first question, we will refer the user to [20]","venue":null,"work_id":"b928dd15-cab9-48e3-9a7a-ca07c143efef","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.418078Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:79e1f519006e3d0f7ddb2036eead17110c459d04904d1ac0aed98b88261c691b","observation_id":"fe075a39-396f-4a54-a1c8-b79e37c04a8d","resolution":{"observed_at":"2026-08-06T21:46:38.000756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.778686Z","title":null,"venue":null,"work_id":"b1cfd1f1-0073-4322-8c26-716a8d419db0","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.520957Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:b2427ff33b39c03226c43af3d1f7881b7401fdea7f724089f5e6fd0ee5cbffe0","observation_id":"a2ef1cce-0d34-4b5f-9af9-0fed9fcf61c4","resolution":{"observed_at":"2026-08-06T21:46:37.840048Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.598410Z","title":"explanation","venue":null,"work_id":"a3a9f57c-1a74-49b1-b5fd-6470e4a8f2b3","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.590338Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:485dc9e76663aefe4dc1bd670f4b700ec2d91d057cc3ded314ef7368e31e8dc2","observation_id":"559e4f2d-a1c9-4155-8017-c4c2885e5695","resolution":{"observed_at":"2026-08-06T21:46:37.701641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.476262Z","title":null,"venue":null,"work_id":"e9a1dbe8-0f75-4bab-b7ef-4dd8970b244d","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.670437Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:6bcb9d4573b33f0ebbf49844884bc5c6a1c4668604eb1b5764ba61be747aaa2d","observation_id":"6f659d2d-c220-4bdf-b8d8-fee3453f69d3","resolution":{"observed_at":"2026-08-06T21:46:37.543992Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.353303Z","title":"As advantage, it connects directly to Python infrastruc- ture","venue":null,"work_id":"3179b834-cbc8-47b1-91f0-55d5053c0d1d","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.728567Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:3a7bda9f7632d700f00d039360e8cf60079709c373d2b12310a98529fdf43d17","observation_id":"d0a741c1-33a8-4aad-a3c6-303bb53256dd","resolution":{"observed_at":"2026-08-06T21:46:37.379589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.208577Z","title":"As advantage, this allows one to have better control over hallucination and security, and even use smaller or sim- pler models to generate the code","venue":null,"work_id":"6f270f62-ec09-4594-9989-8506e59a27b9","year":2023},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.815515Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:52bae86513aa721bfffffdd8af4149d26fe59d31ff1828cd2a5e1a62b17ce0bd","observation_id":"d796cf59-8f4a-4c5f-9dcc-78a4394fa0d7","resolution":{"observed_at":"2026-08-06T21:46:37.276719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:37.067925Z","title":null,"venue":null,"work_id":"3af2a419-3dd6-4aec-9427-8b553d0cf16f","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:23.936294Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:1f40f3e6e3cf67ad9f3fe364752b37a9db1916b7e306cdbcfef5b8d3be94ac9f","observation_id":"552f1365-3cf9-44b3-a828-aa357f531098","resolution":{"observed_at":"2026-08-06T21:46:37.167794Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.966064Z","title":"The ai scientist: Towards fully automated open-ended scien- tific discovery","venue":null,"work_id":"130e0a79-b86f-4b3b-9f91-c0fa95b52a52","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.023801Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:7cfd4ccc799ebb2283bc904a34170f9bbdf74ea4c5768613630d91a720bf4ba1","observation_id":"4f68625e-a06e-4d7b-a480-d62c0dd3ed81","resolution":{"observed_at":"2026-08-06T21:46:36.994911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.816234Z","title":"Ai agents are disrupting automation: Current approaches, market solutions and rec- ommendations, 2024","venue":null,"work_id":"eb90a951-6aee-4f72-bb7a-e3713eb9c3d7","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.112824Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:1d178965fd040959a0d71d0a6c979f4ead4a57ddf46a6c40ecb49b2c5a096ac9","observation_id":"fd340205-4e63-4245-b1f9-6997c095eaa7","resolution":{"observed_at":"2026-08-06T21:46:36.902580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.705649Z","title":"Piantadosi","venue":null,"work_id":"44b64ac7-9fa6-4a93-9886-779d17edd8e1","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.226602Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:267b3af0fec05e4dbd3ddfb87f14855ae7bf5cba40d6f767c8c06b98fcdeff81","observation_id":"eb69044a-a5b0-408d-9df1-f32d4b47544c","resolution":{"observed_at":"2026-08-06T21:46:36.764355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.573688Z","title":"Enhancing llm reasoning through prolog: A breakthrough in symbolic logic processing, March 2025","venue":null,"work_id":"7cfdc825-c795-4e95-84be-a025b6d2ccd3","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.335386Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:9ee82474591b3ffd2f78beecb49d436d90a67d21b336b851e82d46164a560f9b","observation_id":"80e4f785-fddd-45ed-8c21-ab4bad526341","resolution":{"observed_at":"2026-08-06T21:46:36.618046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.437105Z","title":"Clocksin","venue":null,"work_id":"672887ff-90cc-4e97-8616-06a888d70ed7","year":2003},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.504516Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:3d93ee6c4b906466eb24d5c8115453f0d39dcbc8ff21cf7ada0f403e23ef3780","observation_id":"4b264e90-8883-4e2a-b376-7c0bb9b417c7","resolution":{"observed_at":"2026-08-06T21:46:36.486119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.294667Z","title":"Crewai: Orchestrate autonomous ai agents as a crew","venue":null,"work_id":"e9351dc6-1ed5-46ee-92de-b3f7f5a994d4","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.698013Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:f9cbee0a2b540b1f55bc2cbbfbea408317b3b4c99ca618fdac7a02905ccdf4f8","observation_id":"e85a60a9-9f36-4ba7-8e50-016e364f0818","resolution":{"observed_at":"2026-08-06T21:46:36.382946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.129949Z","title":"Experimenting with planning and reasoning in ad 33 hoc teamwork environments with large language models","venue":null,"work_id":"7f9d65fd-584a-4ccb-873f-1f8b30f0d83c","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.784002Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5dc8f55a2239f50114c931d30ab7f74ccdb78b2ab0af9fc3e046dc5da761ab04","observation_id":"4dffa0e9-ec97-4242-8348-d8ed2b3f85bd","resolution":{"observed_at":"2026-08-06T21:46:36.226091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:36.037608Z","title":"Se- cure by design alert: Eliminating os command injection vul- nerabilities","venue":null,"work_id":"620fcc55-1b58-48c7-856f-13ff5ef54e40","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.845289Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:d311d390d331b4f1c0565081c4caa8b1ba15367671a4c974c6e5edc02a4f662b","observation_id":"4f91e6ef-ae93-4d85-a323-b448818f5274","resolution":{"observed_at":"2026-08-06T21:46:36.069638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:34.085086Z","title":"Data visualization reference guides, 2025","venue":null,"work_id":"54742291-4f49-4094-8cfa-c4d382e4b269","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.012957Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:4cf65175e0a67d5bdd4bb1dd3ea77fe4fadd9eaac8b30853e0b3bda2986eed15","observation_id":"a70d1199-4de4-4fcf-a841-2d169beb8c61","resolution":{"observed_at":"2026-08-06T21:46:34.183112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.889477Z","title":"Z3: an efficient smt solver,","venue":null,"work_id":"dbc66ede-7cf1-483b-b623-93470d085d5b","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.050141Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:f72bcb2b4c162dd53707dc798e6b368c4fcb0518adc62839eb9d0ab98f516416","observation_id":"c055ab93-050f-4ca0-bf5f-b5490844d198","resolution":{"observed_at":"2026-08-06T21:46:35.949231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.572749Z","title":"Pierrehumbert","venue":null,"work_id":"738a1d13-9212-4464-8be6-770c5d736f46","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.250588Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:3a6cd99aedf84ca7316420536b94f73eef674b44d2e33eb8c5accc8f97e6a11e","observation_id":"aeef31e0-a69d-43ec-a8b3-cf3fb5bb46c5","resolution":{"observed_at":"2026-08-06T21:46:33.750107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.645015Z","title":"The Lean Language Ref- erence Manual","venue":null,"work_id":"50c9c6a3-29e0-4976-b6ff-c911caa12fe5","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.363145Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:acbc3f59957398c4df89e6d8a330d990e46c3022b1dcb210571ce28b73016a5c","observation_id":"75d583f8-2ed5-4b74-a6ce-741d845627f8","resolution":{"observed_at":"2026-08-06T21:46:35.704879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.543629Z","title":"Reasoning and planning with large language models in code development","venue":null,"work_id":"fbb67b4e-39e1-4721-ae91-23612bd98f88","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.487872Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:ec0b266f7e534b4a5439181c05e7a9082f93ff07cabba3d80e907266f6b3f58a","observation_id":"1206aa1b-1ded-446c-a0ef-b0571c744442","resolution":{"observed_at":"2026-08-06T21:46:35.572824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.417529Z","title":"Smolagents: Agents that think in code","venue":null,"work_id":"3ac588b1-d850-4c5e-8da8-6db1aa8714b4","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.589949Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:10efefcb041b9e1a3968c8948abe6d53564ddc2d61e1aba3bc393feba70ef1f4","observation_id":"5899d31b-fb5d-4746-a182-7155855e20a6","resolution":{"observed_at":"2026-08-06T21:46:35.456496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.344060Z","title":"A survey on rag meeting llms: Towards retrieval-augmented large language models, 2024","venue":null,"work_id":"c53c41d1-b526-494d-9a10-a3d6f67efc5f","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.684123Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:cd4d29bc5e27d298a52f111c4535950683721231ca18f81a7d51866129f7a419","observation_id":"dca39576-6eef-4393-ac30-3fe8b342d0eb","resolution":{"observed_at":"2026-08-06T21:46:35.387211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.209396Z","title":"D’Avila Garcez, Luis C","venue":null,"work_id":"db8da4bc-37c5-4083-a8a9-18a0efd27e9a","year":2009},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.810507Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:fe4d700fa2dc025b6f57ade22663ff024b631ee70833af09b5bb765adef3f7d6","observation_id":"7c598b43-5310-4724-bd55-50f126a2a1b9","resolution":{"observed_at":"2026-08-06T21:46:35.247403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.064571Z","title":"The 4 degrees of anthropomorphism of generative ai","venue":null,"work_id":"d606e981-d18f-40f6-be45-abd78baf3977","year":2023},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.906507Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:025bc3e5c92a2521b4d806042a2a0d6a3037e535732a4e6d16b4c500114ddde5","observation_id":"9440762e-e690-4e95-a3db-e0c6ab07f222","resolution":{"observed_at":"2026-08-06T21:46:35.140656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:34.982875Z","title":"On the potential of logic and reasoning in neurosymbolic systems using owl-based knowledge graphs","venue":null,"work_id":"739c37a8-aadc-47f8-ba47-990bbb2295d2","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.020103Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:11a3be413b9806f20bea7cac77e1fd5e0c1545fe5c94f46a2544fd90c1f7a0e9","observation_id":"fbbeac0e-c919-489e-9798-be0c6a013234","resolution":{"observed_at":"2026-08-06T21:46:35.024679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:34.865603Z","title":"A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions","venue":null,"work_id":"56edd762-e2f1-4bca-8772-33dff0e6217c","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.122555Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:38b1f4745e1e8e3654e9278924d08fdaaa0b4af67f2031b268e8e743d85693fc","observation_id":"618605a2-2603-47fe-bd6d-15913f612cdc","resolution":{"observed_at":"2026-08-06T21:46:34.912563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.00388","last_updated":"2021-04-01T05:48:44Z","snapshot_observed_at":"2026-08-04T19:28:14.015670Z","submitted_at":"2020-02-02T13:17:31Z","title":"A Survey on Knowledge Graphs: Representation, Acquisition and Applications","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.00388","snapshot_observed_at":"2026-08-06T21:46:26.204865Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.204865Z"},"links":{"cited_paper":"/paper/2002.00388","citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:8d395230f5335b65cedea077d53e6021b4c5c78d382a3560c27e1c9cf75f2f69","observation_id":"1832f3f9-8050-4583-8e4a-d5e666003ee7","resolution":{"observed_at":"2026-08-06T21:46:26.204865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07158","last_updated":"2024-06-28T08:57:39Z","snapshot_observed_at":"2026-07-06T17:28:31.413289Z","submitted_at":"2024-02-11T11:03:08Z","title":"Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces","version":2},"cited_work":{"arxiv_id":"2402.07158","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.07158","snapshot_observed_at":"2026-08-06T21:46:30.349552Z","title":"Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces","venue":"cs.SE","work_id":"55d32bfa-7e73-437e-97f6-cec1595cbd90","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.323279Z"},"links":{"cited_paper":"/paper/2402.07158","citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:382c0707e8fb3ca4551bbf543350b307c10eec17f06c813d419a609b544a39dc","observation_id":"8df363df-33cd-4c29-a195-4736e5a62e85","resolution":{"observed_at":"2026-08-06T21:46:30.396486Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:34.781559Z","title":null,"venue":null,"work_id":"f69363fe-9023-4eb3-991a-6884c63bcfa4","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.423312Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:196cbd1386f21274d8e9c4b08d6b073f4147032d3a23ff21be8ad2da15649cfc","observation_id":"a7d37818-ff3c-4ad0-9482-9f813f9c06b2","resolution":{"observed_at":"2026-08-06T21:46:34.833794Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:34.568592Z","title":"(how) do reasoning models reason? Annals of the New York Academy of Sciences, April 2025","venue":null,"work_id":"86e1ccc2-8729-4aec-9fd4-8b94594164df","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.558589Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:634c07c32c18d5a6b4af48f005ef0fa8e5d3cb23d293fcea0c898cdab0cfb525","observation_id":"e3525506-0048-4971-b927-036df4727e3b","resolution":{"observed_at":"2026-08-06T21:46:34.684931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.09762","last_updated":"2026-06-09T20:08:39Z","snapshot_observed_at":"2026-08-08T05:12:55.797282Z","submitted_at":"2025-04-14T00:03:34Z","title":"Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.09762","snapshot_observed_at":"2026-08-06T21:46:26.709714Z","title":"Stop anthropomorphizing intermediate toakens as reasoning/thinking traces arXiv:2504.09762 [cs.AI], 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.709714Z"},"links":{"cited_paper":"/paper/2504.09762","citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5cde592b58700d45df8541479f4e9fc9a69949ba77f19642ac014afe532df9bc","observation_id":"5eec2c92-bd3b-4eaa-b038-bc784115c084","resolution":{"observed_at":"2026-08-06T21:46:26.709714Z","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-06T21:46:34.328483Z","title":"Software is changing (again), 2025","venue":null,"work_id":"a5a98648-54c7-4439-9444-1ac6450fcef3","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:26.909504Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:83e402278c4725fc35297ec4a1f3647e065e36b5ce55b75d9f3e022f6aa783d7","observation_id":"ba2e6efd-f66d-4e7c-8e66-220ba86cf021","resolution":{"observed_at":"2026-08-06T21:46:34.441589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.106070Z","title":"On the self-verification limitations of large language models on reasoning and planning tasks, 2024","venue":null,"work_id":"4d68450d-9652-4b64-b2ed-c70aeaa7b351","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.684315Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:fa08c7fa1b20c5683e196be0da9c237fdf4a041480cd53f6e55a2c094d4ed3f2","observation_id":"ee6d8d61-89c1-4643-8ac1-47a130445281","resolution":{"observed_at":"2026-08-06T21:46:32.131778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.884415Z","title":"Retrieval-augmented generation for knowledge-intensive nlp tasks, 2021","venue":null,"work_id":"fde95775-5fd5-41b1-b366-452d0e842c1d","year":2021},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.149598Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:d2599efbd58e50540a5810bb123e241ba7aa5ddd1343dd16b2c91c72c8fe7f0a","observation_id":"dd18171c-0d77-4178-9e0c-cc5c2fd3e897","resolution":{"observed_at":"2026-08-06T21:46:33.981822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.865325Z","title":"Thought-like-pro: Enhancing reasoning of large language models through self-driven prolog-based chain-of- thought, 2024","venue":null,"work_id":"44e389ea-5bb9-4f9e-b44f-6bc16f0d5aa0","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.874149Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5dc0f14b17c2ceffb6a83b4156a01c9fe25c70d1ca2766bdd52e08bd17fcc74b","observation_id":"8b22fbde-569c-40f0-909c-529964bcb65b","resolution":{"observed_at":"2026-08-06T21:46:31.926535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.500363Z","title":"Large language mod- eling","venue":null,"work_id":"f945af30-5d14-412f-9951-2ee50b0ffb09","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.343966Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:020d59b0669811799dd469fc241b749088ebbe38acb2fb52202279093bfa9f1f","observation_id":"ba67102e-3e51-4c80-a178-db3a27cb545c","resolution":{"observed_at":"2026-08-06T21:46:33.537831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.400200Z","title":"Llm and prolog: the logical alternative to chain-of-thought reasoning, April 2025","venue":null,"work_id":"37da8f59-2134-47af-85be-6b10c1493b33","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.422639Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5a6a4275b2dfad5bb9137537ede18392ebf8ca1b8286457db7ab33a04c973300","observation_id":"dca4e8c0-a7d4-4b3b-8ac3-0af7e0c8e4fc","resolution":{"observed_at":"2026-08-06T21:46:33.438296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.288755Z","title":"Rossi, Handong Zhao, Ruiyi Zhang, Puneet Mathur, Nedim Lipka, Yu Wang, Trung Bui, Franck Dernoncourt, and Tianyi Zhou","venue":null,"work_id":"2b7e9db1-3298-499c-9425-f702c34eed98","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.533355Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:cbb3d1694d30a45aa1e4a2a9c93bede873d6bfb30fa8aedd296e16b4d7ba6d1f","observation_id":"19c859fa-4190-472a-bf26-ef3fea7deafe","resolution":{"observed_at":"2026-08-06T21:46:33.350634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.197090Z","title":"Visit swe- den, 2025","venue":null,"work_id":"879c7ec5-d02f-43b3-973c-2d65c1358584","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.645159Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:b03de433a1debdf4b359289ee11d05ed6658313e5426dda1184821018bc91ed9","observation_id":"1fa97271-ecbf-4b17-9b1e-8b2dbc78ad63","resolution":{"observed_at":"2026-08-06T21:46:33.243811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:33.085727Z","title":"A Brief History of Computing","venue":null,"work_id":"42266d39-6067-4a4b-ad4c-aa0b72b71a33","year":2021},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.720454Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:46e3212111c13dbef86fc4df585427f32c48a9ec63dd8776faba5f34110c67bb","observation_id":"7bed0207-6e56-4422-8a43-26123039eb73","resolution":{"observed_at":"2026-08-06T21:46:33.127820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:27.864475Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.864475Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:81213316384ff8cb6e16717205c004dab62ea239879b7e11b50fa000864c5e31","observation_id":"acf47ba1-0cab-4e61-925d-e4f5b008eec3","resolution":{"observed_at":"2026-08-06T21:46:27.864475Z","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-06T21:46:32.995690Z","title":"Lee, and Eunho Yang","venue":null,"work_id":"f0e9d8bb-fe3e-4913-b7e6-d972c1bb07a7","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:27.956942Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:20fe174344d2ee5d406fceaaa14af539f10c62d3bfcb90f4656d0c7147114bb3","observation_id":"0808b179-79dd-467d-a475-1e5638248493","resolution":{"observed_at":"2026-08-06T21:46:33.031753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.892548Z","title":"Prolog’s role in the llm era – part 1, August 2024","venue":null,"work_id":"b2832499-f826-4af7-ac57-0700a57f1009","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.044878Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:aaf881211a8f9ff1fe09a55a6f6d4f19e8b8652fd5b7d72f82dbad8209ed20c3","observation_id":"166622d7-afa6-4f24-9354-db44eed88f3a","resolution":{"observed_at":"2026-08-06T21:46:32.924290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.774456Z","title":"Cot is not true reasoning, it is just a tight constraint to imitate: A theory perspective, 2025","venue":null,"work_id":"f06e6207-af39-4825-a467-0966bcc40494","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.122088Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:bca4952375e90b97eaf48976756ec29edd2b0341b611153fd509fe81bc39b4ed","observation_id":"389d0da3-9bae-4e0a-9228-5ffc1d76f1d3","resolution":{"observed_at":"2026-08-06T21:46:32.829420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.689306Z","title":"Ho, Carl Yang, and May Dongmei Wang","venue":null,"work_id":"6966c800-960f-430d-9cc9-a0ccca3c5e27","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.194887Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:8bad4942fc4bac874250d3728ca360b29259786defdb8bdc5b3073225edca758","observation_id":"7442f5c6-1a72-41a8-8586-44c1ca5a909c","resolution":{"observed_at":"2026-08-06T21:46:32.726887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.558928Z","title":"The illusion of thinking: Understanding the strengths and limitations of reasoning models via the lens of problem complexity, 2025","venue":null,"work_id":"2782c570-e8b7-42cf-b265-55110f1a9466","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.275194Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:3eb3c880857f34a3dbf7ab030c81fdb2ec7b58d4de417d7c991f87adc2d9c9e9","observation_id":"33371f99-c032-4c31-ba62-752a8992f526","resolution":{"observed_at":"2026-08-06T21:46:32.626445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.415395Z","title":"The ripple effect: How innovation disrupts, 2024","venue":null,"work_id":"88855e66-c66b-43ee-90a3-09c667906cd4","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.390315Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:94583f36c35aefde438604e9d4cb3ebac6cb2a7b5b77ef111b766fb6b8ff96c9","observation_id":"a59b2d31-24f0-4026-a093-9c71f139a283","resolution":{"observed_at":"2026-08-06T21:46:32.472194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.315168Z","title":"Step into the future of zdx with 3 exciting new fea- tures: Zdx copilot, data explorer, and hosted monitoring","venue":null,"work_id":"a48ac66f-0880-467f-84e5-38605cdfcbca","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.480125Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:eccf221d8fc880f641e0e2c6ef727e069815e79a652157f7552f35ed6d460c6c","observation_id":"16c490d3-a8e6-4350-9674-c8e38c9ad7b7","resolution":{"observed_at":"2026-08-06T21:46:32.375238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.217987Z","title":"Asana warns mcp ai feature exposed customer data to other orgs, 2025","venue":null,"work_id":"1dde2c91-0405-4c26-951c-4a9cefe1021a","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.578958Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:ded77db7fa95025471f8191193e69d90eb5a21ed39fb049e34037703253eb33b","observation_id":"7a698c31-fe4b-4b00-a3be-44cd374cb09d","resolution":{"observed_at":"2026-08-06T21:46:32.262483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:32.000324Z","title":"The Art of Prolog: Advanced Pro- gramming Techniques (Mit Press Series in Logic Programming)","venue":null,"work_id":"5e31b778-116b-4813-9d31-7cdf3218b2f0","year":1986},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.767852Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:53f51a4b49206b4827c80af14f35dc19ce3144dd6c874b2f0df177d314f8b9ef","observation_id":"288e6ac7-8568-4a68-a212-147bf51ff5b6","resolution":{"observed_at":"2026-08-06T21:46:32.063062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.704907Z","title":"Hol - interactive theorem prover, 2025","venue":null,"work_id":"450b7959-ab47-4bf7-8b14-c82b37bf4db6","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:28.981911Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:2d11ce10041abfb221c530141daf53731fd1ff67afd90fa1f91f795540b873e8","observation_id":"b67915e3-ff3f-4a83-981a-dc6dec1767db","resolution":{"observed_at":"2026-08-06T21:46:31.800694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.541107Z","title":"Robust, mature, free","venue":null,"work_id":"3e257161-708d-45be-97aa-065090699f38","year":null},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.041470Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:6b49293c080756468b2d5271525a125e18d2a34fd8f7e13b45854ee4a59e6da9","observation_id":"1ad085c4-47ef-4c62-b513-fdcde8df35ed","resolution":{"observed_at":"2026-08-06T21:46:31.639945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.14149","last_updated":"2021-05-29T00:01:08Z","snapshot_observed_at":"2026-07-06T11:13:51.821442Z","submitted_at":"2021-05-29T00:01:08Z","title":"Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias","version":1},"cited_work":{"arxiv_id":"2105.14149","doi":null,"metadata_source":"pith","pith_arxiv_id":"2105.14149","snapshot_observed_at":"2026-08-06T21:46:30.232039Z","title":"Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias","venue":"cs.AI","work_id":"ca90812e-cad1-4bf4-8c7d-16409df849ef","year":2021},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.124315Z"},"links":{"cited_paper":"/paper/2105.14149","citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5f73b60043871e140b583494a831854d3823b36b1e0e8d75d504cd74bc541679","observation_id":"8c63e514-04ca-4a6c-acaa-d39c6bddf3cd","resolution":{"observed_at":"2026-08-06T21:46:30.288229Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.402859Z","title":null,"venue":null,"work_id":"ca9311bf-4fd4-4802-8577-7cd6f96a5aef","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.222429Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:8c7d3c08e9803afe305bb72ce1442d4bb61e6be9c3172df25cd049264b8bd896","observation_id":"bb854b47-8c65-4382-82a8-1fde1dd80aad","resolution":{"observed_at":"2026-08-06T21:46:31.475504Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.239487Z","title":"Logic and Structure","venue":null,"work_id":"650890bf-06e1-4075-8595-a8b60b63b6f5","year":2013},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.328652Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:c5638992816b172e926bbea43acb7187c7e5ed9a9356a984f734dae8e6eb7b52","observation_id":"16a96b52-d7b6-4a7a-953f-56563c77d7f6","resolution":{"observed_at":"2026-08-06T21:46:31.312090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:31.076756Z","title":"Introduction to llm agents","venue":null,"work_id":"631f49c5-21b7-45a2-bad3-d6889dd0d957","year":2023},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.401179Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:1e150ee60a2b1776b3b19cc38dcf5c306d44198222180b866ba8238ac21eb396","observation_id":"5d86209e-f48d-4586-9806-37f46dab6b2a","resolution":{"observed_at":"2026-08-06T21:46:31.164803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.03762","last_updated":"2023-08-02T00:41:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-06-12T17:57:34Z","title":"Attention Is All You Need","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.03762","snapshot_observed_at":"2026-08-06T21:46:29.478442Z","title":"Gomez, Lukasz Kaiser, and Illia Polosukhin","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.478442Z"},"links":{"cited_paper":"/paper/1706.03762","citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:c460c8939e135ce26ad636927b99000e6ba15989018fa998fc63d227e90f053f","observation_id":"a9a2147f-970e-44ff-95ec-5b3136c96212","resolution":{"observed_at":"2026-08-06T21:46:29.478442Z","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-06T21:46:30.913061Z","title":"Voorhees","venue":null,"work_id":"8d49dcdc-14cb-4598-8a9a-5fd8c1244d1d","year":2021},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.595060Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:6b53d9c4edff619b9bf4522488a88c1ae12cf9be2930e0a0a30be4c54ef3251e","observation_id":"e15fcd11-ba93-4ff5-bf7a-58bf13d2632b","resolution":{"observed_at":"2026-08-06T21:46:31.002642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:29.679719Z","title":"From human memory to ai memory: A survey on memory mechanisms in the era of llms, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.679719Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:ebf12f1f0c5aa632f5fa565a7d9efb49f1d19e02682b703f8e1035f49ef9a430","observation_id":"61843421-b1af-43eb-a82f-8dbe2171d62f","resolution":{"observed_at":"2026-08-06T21:46:29.679719Z","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-06T21:46:29.793755Z","title":"The rise and potential of large language model based agents: A survey, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.793755Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:cdf0a020d4dac7d411394f29c3df655f666db6dd32194027c99fdcf5bff18138","observation_id":"48664733-11de-45d4-a7fc-c0e059f65732","resolution":{"observed_at":"2026-08-06T21:46:29.793755Z","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-06T21:46:30.767201Z","title":"Arithmetic reasoning with llm: Prolog generation & permutation, 2024","venue":null,"work_id":"d8c744ae-7039-4b34-8edf-e2a739c9feb9","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.879979Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:618096c27e4e9f841d40df69e54e8b189c3c413b6db4da3a4c5b0547a047b89b","observation_id":"dbd2a66a-dd4c-41e4-848a-517f21240f4c","resolution":{"observed_at":"2026-08-06T21:46:30.833309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:30.618714Z","title":"Ratt: A thought structure for coherent and correct llm reasoning, 2024","venue":null,"work_id":"716599e1-352a-4286-bce4-40357ea315b1","year":2024},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:29.953200Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:4358da9fced1dc44ac36ec47f344790cc1926a2428f9bffabfbaffc5ba307a9b","observation_id":"e8ea8a2c-32fb-442a-b6f9-6e079197fddc","resolution":{"observed_at":"2026-08-06T21:46:30.669765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:30.039227Z","title":"Learning to reason without external rewards, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:30.039227Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:950edcb265ad4def0edecdd1c2f40a004163265d1757db9a19756c6c2bd09e71","observation_id":"36e68085-ef4a-40d4-a096-117e19968a36","resolution":{"observed_at":"2026-08-06T21:46:30.039227Z","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-06T21:46:30.469007Z","title":"Kg4diagnosis: A hierarchical multi-agent llm framework with knowledge graph enhance- ment for medical diagnosis, 2025","venue":null,"work_id":"f5e86e09-db0b-46d6-8eaf-ab5612786267","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:30.138696Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:8117d29989edc80e99d518c5682911789712694b7fc25cd6e9346e2b2cbdaf5d","observation_id":"845bc301-2262-4520-9dab-e7efbadf8027","resolution":{"observed_at":"2026-08-06T21:46:30.536739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:35.748642Z","title":null,"venue":null,"work_id":"7f13e137-a2ce-4b16-ba02-aa0e62f938e9","year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:25.248494Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:5d53c5ba8112b4542f083c630f38fae44d58521b8523b8de60aee1fe711b3144","observation_id":"3fbb9006-4ca1-42f7-a6be-28b5c2dc4130","resolution":{"observed_at":"2026-08-06T21:46:35.817609Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:46:24.957518Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T21:46:24.957518Z"},"links":{"citing_paper":"/paper/2506.23408"},"observation_digest":"sha256:a00cf14cdf8e3c64a98441b158f0314b6258cf992d4fb11278570dca0d6504ca","observation_id":"eefd087b-7a9c-4f24-8339-f28190cab0b7","resolution":{"observed_at":"2026-08-06T21:46:24.957518Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.23408","last_updated":"2025-06-29T22:03:01Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T06:37:56.441077Z","submitted_at":"2025-06-29T22:03:01Z","title":"Do LLMs Dream of Discrete Algorithms?"},"reference_resolution":{"displayed":75,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":2,"unresolved":19,"verified_exact":1,"verified_fuzzy":52},"total_outbound_references":75},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2506.23408."}