{"as_of":"2026-08-13T00:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:714f9aae7663b49a1d6e4ff5a7be2801ce02ba4a85319e76006956c73e11dc8f","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-12T06:34:41.77262+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-11T17:03:01.067528Z","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:35ea8b1106c84531362f3448eb49cbc58ce0e1b88556c8754f2b712b86d8000e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:a6cadf28c5a4f0eb9fd01977a2fd037f001de794d8fef354558c87584dd12c33","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:cd4bfd05cb41bdab148c26abf47524bf881371c68ccd891c06d92a0ec3d9b4fb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:5c7244c3527b3adac9c00dd604c68f48f7887d5722bfa11422a06dba76209300","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:cddbd76192af91bf8d88b395107a7f2a787a96550c7b031ada8265ef27a073b6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:a6add54da88a5412f6efddf93043623a5b6b0bde2a37fb33cf8e85cda2638f7b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:7893abca8348ead264d1bd2917481cca39f4a344b9789fd4422ead5bdc234e90","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:afbbdb27a53e5fac4fca60953e8f0aea114e8490e653862137f8337b29ab48f8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:20106c452332b91403c0435ab034084e238269af89dba3a95eda192a58b6a254","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:8fe393b7c3412548196a09ba92bbb00e0e8506a6a5c785417c499c609d79ab1e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:1f45a3f24671983fde7d96171b1d056cd4423dcf804496b483ce4d3d3999d6d4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:4c3b5c2d56103e53e88ef70550bd83ffb12a854b20a8cf830990f62244ea7ee3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:c3c12767810810b9967d0cbdaf6451bd563375ccb739651b10a40cc3093e92a0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:dc7779d4fc6a59a58e22d42777dc131a03b3ee0120ddaece4d8e60bed5df6fde","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:00915b8ab8ced06f3e985a1c1cb80f3fb8c3eaa51db3cac039d85198ac132d18","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:00934f7aeca63aed0923bd53a4126bb6f656bd5a73e39c8f55f0d1ffe14e6c12","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:b8cd896446885c9ac69f24ac5f5ea538b0b02816f5047ce1444fb7d7faf32fd0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:b169e46b9a5898390e2027045e04060c091f721e8301c891c2a37dceb12e398e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:aaddde15af3d417f87b0b709729b4833546a73ab87653792d0dbfba1bc648c8c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:ce3b46e7c8d1186b699cd66bf38683deacc6a6638e727010ef12e4bf3b7be888","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:75bbc39fa2efded19f16d1f52f71c2bb59ab913d4e4fc800a48f672656eb9de3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:7ffc9dffc8e0e7370e4a9b5ec16dd686db0bb57fc0f67dacb7c97399b833fbe1","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:873a3b7ff1a46829de875f666d16c47618b754841d8aa0ac1f2220904f3f38a0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:7c10e81614f9a7806061c242b756a763e3708974d14718f76825443aef323b8e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:6e4d7884ae505d5ea74d9eacf45f903bd648ecd63f864f8b63b8516b9ad5c29f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:a3721bc861f91b4fa7c2ce96abf2fef7d496b3799987e59fcf3580cce507c059","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:6e4fddc7433d623807de67e56c3e36187166116d3bbe4f7165d74cde1182ba0e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:90444245f776d24689bbfd04a5dabb0de01fe427a1276978bf98f836e4070875","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:a2e1da9e9106725894ed8efefbabe454cf3e1ee44c7b6f2222c6dcc3d2ffee17","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:4b75de39a16b40e8daf6695bf6ae4bed11fb4376e088987f6c7b1770068e09a9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:50da7490d0bb84cbd6e0664977d8b6c7155e4e706dd97b750717b68e6ffcdbf3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:67fc5c41cd99bf95c41a94a6b9551a6117fffcd32dc60e9a81f7705e231f3726","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:39c393f1329d5cdbf48840549c650a1ae7661cdd002a8df891e59e4f07949861","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:69f867636fd4db994851e660af4909d58ae4ea679e3ac5b01b1c9bfb89e14b1b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:6abcc4afdcc2a13f959cc48d67ccd273ea2ece48b74f6ea85ad3e4ad4a60e804","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T01:15:52.144068Z","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-11T17:03:01.067528Z","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:fd92da9ea7684e37d6822e8127dfce23ca24c899e1ce1b8e0c1445d9f5691c92","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-11T17:03:01.067528Z","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:9006228f7dbdd0d4c007dde652c9448e839546e9af54851e1b313a9560e9c348","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:72f9d40a71c569bebd027dd0409e718c923d6d86b2632889947e5029f7d158b7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:77cbe35fbe6b9e4f03229ce5371e4b43678caada8709ffedd137bebc88b6c2b0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:673e6e850df9831155c7255d65c787b2fb2b3b01ba920950c991759f6b8c0757","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-11T17:03:01.067528Z","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:6af172f6e8a94ec70bcfdc43e33a658c531a8620223a8a1bd21fe33355ce6b61","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:c7f81153bc2d4000c5134aa494268e912ecdba624ee1b34284a336075547bd89","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:88a2f489f4a6bbbb7a4687a23c87da0c886eb38c4e1beff2b8a163562cac8a56","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:e1c85aa778a8dd3c8f19b36cf46bcc5c6a7d42e493e87348a60704ddd729d592","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:efcb8b1332bbf2b6db9f9501075dd2e8be84a13a7c38a72654e58b11034902d8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:fbc331618de8464e0bdac3db364bd8f2df4fb625080cd4e780fd3b833632ff94","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:8edb5f2d8c529cfa0cb519e051ac053432b3546b80e7360e64940b3b97dfeebb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:aa6c813bac53c81cb4c82da3e8640e302a84d8333c4f1969705ffc5c141b11c2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:21c3b81cbc3f72b9a98c1aa6fe41c953d6b586124aad7eb05e15ae98ac467806","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:06df08a81f1078dab67342d90a7f9cf08e847d0d603a9a979333a07453da6f8e","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-11T17:03:01.067528Z","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:1b9ab80b95a154d67a58e93e712f2b4bfabb2eadbc8466cdff2ad77f87300cdc","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:23a48eeabe09618c6408fa844f6c29ab8662b03cda27c4478cae6bf573f01ade","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:233b7f9d5d4ebd8d3b18b33aa6a6c80568b56dd487b3ba10d5051f0c78e7049f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:7e1a745337d207445d0695f3c332d99a8b901bb35b62ec086a2272a972a35177","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:18457e268da15d1f81875aedbceb5f086559f3f4c3a38e58f228b1a0f78a26f4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:be7220012f1edd8ec6cca9ecd0e9b462232627c8b83cdac7ceeb97ecd342e5c2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:069e23170e0ff0fd8902cbc298247b24c44abc965c858aa354b7dde812faaceb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:8cb7a045352d61f062836a42abbacfd354642b4cc3490d5ebcb70d77d59dbf5a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:b8a27eb33961d4be1ab3b797396528d28bda43a721bc09045bae7c041ec54e9a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:3b825af2a6b2de22c324d1235af8ec9287ef5965eda4f0bf423b76f55c5dc1a6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:f9b8012ebafa561e7621e8f6b8f7de5f1d72b15bebeaac744b7b697216e58b4f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:88ba55be2bff1d319cfb798b6fa3488012b06fe234d470ba127c4c56f7e04424","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:ddf83aeda952a9bf273ad1c69df57c1f278c506123d953f819eb5243cb72c223","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:5093ab2fd8a9398748bd5cdd102c0a6e831e83f84d6fd26154e97d471a4dfc20","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:1c259c81df8849460144bd6418f0b34b185e8704880e3dfaf69e575c6d218926","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:cdf1742410aab9889caab570f4a270b8e242e2dead9c2f86d9ae0f86bdbe12a0","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-11T17:03:01.067528Z","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:4ff25d5d5d3c98e48a4bc5d5fe58656d0741e87eb1e6611015ec6a4108f692a9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:306ac0694c0acdd4dec437a8f5635d1ef07edcf7701fcf452d8c64524ecbed29","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-11T17:03:01.067528Z","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:3dc76790955794aa7a08e9c7b2619f40f35f38901b78bd2f2f04ce9adf6802c2","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-11T17:03:01.067528Z","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:fa1a45393bf5f90af3d76bdb428b611999b56d8552df02239d4c2421093e56ab","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:815053bb64a37a68f8b8f875f50c68135448b3cee32d4541e27cb9c1b4945187","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:588e53315814327e48b15691e551ac62df09bc9a84bee67dbc4651bc7229cbf3","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-11T17:03:01.067528Z","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:5c9707174829ac032230802f75d063545c7bdc8bba8a84789fcc647d803ded98","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:1501e9c258d3604571ea8bc07d717ab5889e79165df3c7b4a07eff8d439077e3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T17:03:01.067528Z","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:b408af2c2f9d1440bb203a8116e3d36a60c81c5bb25dae5970f2a647c3a9aeb3","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-11T17:03:01.067528Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2506.23408."}