{"as_of":"2026-08-19T09:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d38aefcc97801dc71bb490eb2eeda872e5f3b98e988e1dbc2e4b28cf0f0ca143","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-12T01:28:55.961892Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T12:15:27.055434Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.08605","snapshot_observed_at":"2026-08-01T12:15:27.055434Z","title":"Lattice Deduction Transformers.arXiv preprint arXiv:2605.08605, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19635","last_updated":"2026-07-22T00:05:34Z","snapshot_observed_at":"2026-08-19T08:00:43.082506Z","submitted_at":"2026-07-22T00:05:34Z","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T12:15:27.055434Z"},"links":{"cited_paper":"/paper/2605.08605","citing_paper":"/paper/2607.19635"},"observation_digest":"sha256:6dff357b7ceb8badad5d2efa4399587085206c89aa85d8a58cd21c6ec0aeea17","observation_id":"445a7c72-cdb7-4108-b784-ae605dac4250","resolution":{"observed_at":"2026-08-01T12:15:27.055434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.08605/citation-record","integrity":"/paper/2605.08605/integrity","json":"/paper/2605.08605/citation-record.json","paper":"/paper/2605.08605"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chain-of-thought prompting elicits reasoning in large language models","venue":null,"work_id":"76df8595-419a-46f5-83f5-9c4b98755cf7","year":2022},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:09dcb135f36bd9456c0bca4e6c3431318267f0eaa6258e616fc564d0de8fc2de","observation_id":"9881c3c6-244d-496a-bbe6-5254ea21669a","resolution":{"observed_at":"2026-05-14T06:59:04.417389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou","venue":null,"work_id":"772460c7-eb25-4e0c-baea-8baa05876fe1","year":2023},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2608ca59f6be5bb1ffc679ae109dad2c681ce06cdc3cd8347fb0846558fb2611","observation_id":"f5e77317-d4a8-430a-b946-ce450fd7dff9","resolution":{"observed_at":"2026-05-14T06:59:04.564102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Scaling LLM test-time compute opti- mally can be more effective than scaling parameters for reasoning","venue":null,"work_id":"46103787-d166-47c2-b17a-25f19b961801","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:dfd4c2e13f3adffe3287d1b09273eac151506a63d37855e824f6a32b57044176","observation_id":"e69ca392-d0bf-4fc6-bf74-36b6a1b10e31","resolution":{"observed_at":"2026-05-14T06:59:04.421825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg","venue":null,"work_id":"a1c38d42-1d5e-479f-94f6-d144ea8cced9","year":2021},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:6391ec8695d0ad6df7304dbd787296d08e611d88e4c64a54b1e4c6a0ff92f421","observation_id":"0fe5be07-8e48-4557-a3b4-fbc17a003ff7","resolution":{"observed_at":"2026-05-14T06:59:04.571751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Cousot and R","venue":null,"work_id":"8ba7520c-9efd-4a9e-9a00-2dce78f9d3a7","year":1977},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:c44de3b534cfa64e041e8de7958d876065bfeae1a5e10a940ed6ec4d5e2d6097","observation_id":"f40faf0d-b977-4494-84a9-d2cf6cc090e4","resolution":{"observed_at":"2026-05-14T06:59:04.547382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Cousot and R","venue":null,"work_id":"5edc07b5-5a79-4d90-b362-6a4f5ee7c0a3","year":1979},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:66bbf089d3bd5549cec5c037d0d451e3fae0f9b1ef56c542f3610e7082e42316","observation_id":"fda8a133-46e0-46b3-89b2-3181eadff050","resolution":{"observed_at":"2026-05-14T06:59:04.534478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Adaptive computation time for recurrent neural networks","venue":null,"work_id":"39003308-1530-42d2-aa70-7f4731e0031e","year":2016},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:38e0bc619ddd403a89d2cf7eeff432fb85e711ba63b3d8905b6e92539792ec6c","observation_id":"6e1c7def-6db8-41e0-a044-14555dba8dd7","resolution":{"observed_at":"2026-05-14T06:59:04.552081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Uni- versal transformers","venue":null,"work_id":"df7f7747-4e82-4aad-a341-ee856ca88ebc","year":2019},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:92530859bb3d82fbb4874dca7781e23b927947e40137aa9bc4aa1b102ff8df68","observation_id":"f68b9d0d-daa6-44bf-be0b-39e60a3f7cee","resolution":{"observed_at":"2026-05-14T06:59:04.575649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Hierarchical reasoning model","venue":null,"work_id":"96dee72e-1d01-4c58-98fc-f6f692a1994b","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:97c976916477053940dcb3ab8cb1c0133f07030fa2d0fc42a2a23db676b4807a","observation_id":"f046d83a-0c57-4dfe-b061-feb18116e920","resolution":{"observed_at":"2026-05-14T06:59:04.580251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Less is more: Recursive reasoning with tiny networks","venue":null,"work_id":"ef65fb5b-1669-427f-89b3-4bfbc2b1165f","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:b44c501c91594c6be1d1371f713b8ec8e135ca1596e249b0bacaad142fc8739a","observation_id":"71e85f69-afe3-4b6d-a8e4-17a81a3d39af","resolution":{"observed_at":"2026-05-14T06:59:04.584631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Sotaku: From-scratch experiments on iterative neural Sudoku solvers","venue":null,"work_id":"65b25402-7474-4b69-81cc-75bb0dc28c72","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2053a70577d8807701dcad86bd543789454ed93f3570c8b50fe598de6e59cbeb","observation_id":"7b3889c7-f5c7-4b70-b40a-6e72f162bfd5","resolution":{"observed_at":"2026-05-14T06:59:04.509126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Donti, Bryan Wilder, and J","venue":null,"work_id":"8df930ce-bb9f-4114-8f08-a91da2fc6992","year":2019},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:1fa1714e19adb70b8448dce510e5cd8dcce021db61e00207b7b3f79a2439c09c","observation_id":"778865b2-149b-4939-b642-4adedb4a1b74","resolution":{"observed_at":"2026-05-14T06:59:04.513612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.11435","last_updated":"2023-01-26T21:46:23Z","snapshot_observed_at":"2026-08-16T15:59:51.429066Z","submitted_at":"2023-01-26T21:46:23Z","title":"Learning Modulo Theories","version":1},"cited_work":{"arxiv_id":"2301.11435","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2301.11435","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning modulo theories","venue":null,"work_id":"28825509-8a27-44ef-8aa0-f8f5cff904be","year":2023},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"cited_paper":"/paper/2301.11435","citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:ac79a641a4cdb88db700d4639d6fbab01bd3dd3d4121e039abc57a5219354608","observation_id":"0e61b20c-0388-44d6-99d2-62cef116b6ac","resolution":{"observed_at":"2026-05-12T07:56:28.352131Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Neural abstract interpretation","venue":null,"work_id":"8c76b802-b450-40ac-bfd7-b2f2dd126004","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2de5a28c8be18eb074dd30771eb033c122ef248895a6b0745bd36742a0d7b8dc","observation_id":"e8bec6a2-b38f-46be-b573-7f82531af138","resolution":{"observed_at":"2026-05-14T06:59:04.504650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Learning fast and precise numerical analysis","venue":null,"work_id":"c6c4da09-b51b-4782-8dec-eb85366818a9","year":2020},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:f17b0a2692a615732e82a0dda5c87dab0d71235b2a9e06901ec18671c72a16eb","observation_id":"65636c11-afac-43cc-b9ce-b304779cec26","resolution":{"observed_at":"2026-05-14T06:59:04.484621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"SAIL: Sound abstract interpreters with LLMs","venue":null,"work_id":"ffef365b-be7d-4244-b1a2-5cffbb96b3a2","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:961d815ffd6cbc1a7617aaf65b571e5d5e9ef68e7f5e591e42f12b652456ef67","observation_id":"5e134d41-eea1-46e6-bc72-84a46c56117b","resolution":{"observed_at":"2026-05-14T06:59:04.443345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Fast numerical program analysis with reinforcement learning","venue":null,"work_id":"12fef605-0a5f-4f5b-81f2-eb69487beb72","year":2018},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:6b498059441651012038692f08f66976bffc678f2de0995f25f337db3530c6db","observation_id":"e3e52884-aa7d-466e-868a-8f9f0e4b53af","resolution":{"observed_at":"2026-05-14T06:59:04.456156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Learning a strategy for choosing widening thresholds from a large codebase","venue":null,"work_id":"483e6b6d-f2ad-4f49-98d6-9df7eae63c1b","year":2016},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:25563c415e01280a3ba4aee38d2817124fa9d5d509e6b4d589c9d240b1529f1a","observation_id":"155a30a3-d223-47e8-8e2a-ad875f848280","resolution":{"observed_at":"2026-05-14T06:59:04.480442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"BERT: Pre-training of deep bidirectional transformers for language understanding","venue":null,"work_id":"f5849c5b-6ea3-48b6-85bb-c42ce5ae7f03","year":2019},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:8cfc8a444de11eca3d2dcd04977107170315381a553fe6438af7591853468c26","observation_id":"f330da59-e44a-4689-9aa9-4793bfe55161","resolution":{"observed_at":"2026-05-14T06:59:04.488607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Remasking discrete diffusion models with inference-time scaling","venue":null,"work_id":"56887bf7-c0d1-4cbe-8aab-32ab2a47ae77","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:6bbb80bba03ba05ec67f555a02068238eb3d88b0a72de17339b94dfceea8baec","observation_id":"df4c3078-0314-4cba-abe8-1ab75466bf29","resolution":{"observed_at":"2026-05-14T06:59:04.492712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Krishnan","venue":null,"work_id":"9854d60d-a72c-4f66-a795-52613d0f71b0","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2d61e5e136101fbe1479504921c5f1025587800303553334623e7e2bbd7d823c","observation_id":"e50d9edc-6e8a-4cfe-a2a1-05a20f7f07e7","resolution":{"observed_at":"2026-05-14T06:59:04.496641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Next semantic scale prediction via hierarchical diffusion language models","venue":null,"work_id":"a2d6843c-3079-475d-91bf-022ba9e5f7aa","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:f7f795e49d6db6bf1db4f5cbeee4c2a1dd668e8a5f5122478614134bbe78f35b","observation_id":"09e8dd9c-ea2d-4d27-a2f5-8ca3140b3f59","resolution":{"observed_at":"2026-05-14T06:59:04.500830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"A computing procedure for quantification theory.Journal of the ACM, 7(3):201–215","venue":null,"work_id":"5029ed1c-f7ca-4a25-8d26-2416281280b5","year":1960},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:05c7b8ee7b844cf2774dfeb98de18cfc0291f4a2f8d12757a2e11b93432463c5","observation_id":"7212d12d-92c4-4755-bca5-313f43c1b5bb","resolution":{"observed_at":"2026-05-14T06:59:04.459866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"A machine program for theorem- proving.Communications of the ACM, 5(7):394–397","venue":null,"work_id":"f9cba0f3-029b-49c7-94c2-9aca016f1d86","year":1962},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:5a73428a8c2a8d88de9b238d36d452ed7a8d09b4ec783659c2a1230656830aaa","observation_id":"0339f1da-7e14-43b8-87c0-599569edc1d4","resolution":{"observed_at":"2026-05-14T06:59:04.467713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Marques-Silva, Inês Lynce, and Sharad Malik","venue":null,"work_id":"71c1d664-6f29-4f3e-8f8c-2ec89e655d4e","year":2009},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2dafe56bd11971e944673bab8cf58f30628c636c12585fce25d0589e944c0b20","observation_id":"75ee74f7-43bb-4e98-8115-d6f724f26491","resolution":{"observed_at":"2026-05-14T06:59:04.453250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"A tutorial on stålmarck’s proof procedure for propositional logic","venue":null,"work_id":"cc116c3c-501d-4309-a657-99a3b6e4a0dd","year":1998},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:e80abc01fc057e2f3f5506359dbcb08756c57fa97bf473e2838b82d5cac680a4","observation_id":"f471030c-a331-46a2-8449-398770ec57ad","resolution":{"observed_at":"2026-05-14T06:59:04.471848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Two optimizations on the stålmarck procedure","venue":null,"work_id":"7cfff1cc-862f-401f-8219-275756e4d839","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:105c5f52572560f6eea760a336c89df2814268aceddc3d9ce4d38502407fb30b","observation_id":"4194e91d-25c2-4ea4-b751-87b1929d370c","resolution":{"observed_at":"2026-05-14T06:59:04.448020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Abstract conflict driven learning","venue":null,"work_id":"9d19070e-168c-4a09-970c-e819029c5669","year":2013},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:2295a2fc8829e678a5ac1a0ab8b5835f8565434c35358564ca7566bd9a484344","observation_id":"2bd7079e-e274-4134-b516-77edd9391f9d","resolution":{"observed_at":"2026-05-14T06:59:04.463864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Thakur and Thomas W","venue":null,"work_id":"7533ce7b-ca99-43bf-8d4b-9defa4b2f85b","year":2012},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:dd5a331107b9971b6567f490ea4d2e4805eb6ac9bdb6e8d8d45fa5acbf2de3e5","observation_id":"9ea06686-c426-43ca-826e-05e06cf610c4","resolution":{"observed_at":"2026-05-14T06:59:04.439218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-11T03:27:49.591479Z","title":"RoFormer: Enhanced transformer with rotary position embedding.Neurocomputing, 568:127063","venue":null,"work_id":"d7e0bbe5-80f8-403b-97a4-92e0adb57f28","year":2024},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:1e7ed6e528a73f1cbd85edd611f586450f4f3e07e4301438ee569c0a95662b24","observation_id":"7d011424-2e85-44a9-9110-fa43a99affc3","resolution":{"observed_at":"2026-05-14T06:59:04.435147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"On-policy distillation of language models: Learning from self- generated mistakes","venue":null,"work_id":"f8236916-3196-4c62-b87d-c98e74ee3578","year":2024},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:3407e00b5e86eef661eb1d18c297d0f4765495f9f111041d5e30ef7bf5229871","observation_id":"b3ea441b-8d40-4e36-9644-028514eed6ae","resolution":{"observed_at":"2026-05-14T06:59:04.476014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-07-09T03:05:56.259739Z","title":"Sutton and Andrew G","venue":null,"work_id":"48d7a4c7-5639-447c-bcf9-1ab1b26f352f","year":2018},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:90badba4352d9c70b3298df1e594ee3b104814d744e19374f04491baa1cfdab1","observation_id":"6c686084-ce24-487e-987f-ae31e6773677","resolution":{"observed_at":"2026-05-14T06:59:04.517577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Codebleu: a method for automatic evaluation of code synthesis","venue":null,"work_id":"a65ca9bc-d618-4cae-929a-8581351e6389","year":2020},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:6c995195fbd486de393b01c760a6d7f898518aea1f2da292fb669cc36fcfd671","observation_id":"961d19d8-91d7-443c-bbe4-bc3c8b7c42a9","resolution":{"observed_at":"2026-05-14T06:59:04.538981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Tdoku: A fast Sudoku solver and generator","venue":null,"work_id":"35baf059-2d76-4630-8631-f2d86be33d9d","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:8f234615d1975632d312194d800813ab0971c17446f579c1bedbffe92111b40e","observation_id":"9501b202-1c87-4b64-be13-7afca6d1dc39","resolution":{"observed_at":"2026-05-14T06:59:04.543364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Recurrent relational networks","venue":null,"work_id":"a93ed2f5-a5c1-413a-98b1-0c3560e0170c","year":2018},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:bb4c3893b391d9fc336db4e2599ffa147fd96e51cad0491aaecbd1fa00501eb5","observation_id":"ca375e01-8128-41d1-a410-9bb3cea7743e","resolution":{"observed_at":"2026-05-14T06:59:04.425801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Can convolutional neural networks crack Sudoku puzzles? Software, GitHub repositoryhttps://github.com/Kyubyong/sudoku","venue":null,"work_id":"e0d8ed9b-1af0-45e2-842a-bdde34132442","year":2018},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:910ace214b7a95430c04e874c60f97e8f0c7ef7fd445079ef7d87fcfe9600c04","observation_id":"dc39f629-550b-43ee-a0fd-b99b2b54de0c","resolution":{"observed_at":"2026-05-14T06:59:04.555945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Introducing claude opus 4.6","venue":null,"work_id":"ccf23abd-8548-44b4-b544-e9db901ad827","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:ccd22f228502040c34e19674693c79bc62a7550a7b7ba12bb71f1a1b896ebebd","observation_id":"48154e9a-2706-48c3-8b52-454768356689","resolution":{"observed_at":"2026-05-14T06:59:04.521637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Deepseek-v4 preview release: Ushering in the era of 1m context length","venue":null,"work_id":"804e5b94-c5ca-419e-a1c9-e657c73c9c46","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:69a570f9a94e628e0c11f92f40aaa1910e95a474668b3d096725063c17446653","observation_id":"4e93a2f5-90ce-4e90-a4f1-7fa1ce386a78","resolution":{"observed_at":"2026-05-14T06:59:04.559952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Gpt-5.4 thinking system card","venue":null,"work_id":"b98729d4-7588-4393-b291-3116d7c192ba","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:fed8237ed11c98cfd5655df7cd0000775271eb0a09772610972b06122cd8da4f","observation_id":"aa757dd0-17d3-4680-a2fb-7f512c237a3e","resolution":{"observed_at":"2026-05-14T06:59:04.567826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7a26e0ad-0cc3-4593-801d-94a04a55c0c7","year":2022},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:68ee28bda14c01a9440bc5b199ba6af3e6a04a830a8597fe8fc8c005f0ec5fe9","observation_id":"b2ee3dce-cae9-4d24-b464-cf672c707a7e","resolution":{"observed_at":"2026-05-14T06:59:04.530239Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-08-17T05:38:14.090895Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":"1911.01547","doi":"10.1007/s11432-024-4231-5","metadata_source":"pith","pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"On the Measure of Intelligence","venue":"cs.AI","work_id":"d8980a59-aa48-447b-8852-b7aca2b41b2c","year":2019},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:5b374ab6dfbb0095ec773b42d4c972409f632760be9a183803919573098612ef","observation_id":"425c0973-c09c-4645-912c-f23d6460b556","resolution":{"observed_at":"2026-05-12T13:05:34.620543Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Arc-agi-2: A new challenge for frontier ai reasoning systems","venue":null,"work_id":"b52f5af6-8afe-44d8-8fd4-b630e66fd499","year":2025},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:8c604acf4846fcabda350ac3927d25a95a2b5207407921cd3e3f0a5d64e72081","observation_id":"08d9ce46-c31f-488c-8508-47279b01276a","resolution":{"observed_at":"2026-05-14T06:59:04.526212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"Arc-agi-3: A new challenge for frontier agentic intelligence","venue":null,"work_id":"c81c212b-affd-44fd-ac4f-b4ddbac9ca6d","year":2026},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:ba6bdcaa5cdd4f8ce4b99030fe689fddd697d8debd3b976b6f71d30878eb78ac","observation_id":"55a2f50e-eae5-4f3b-a05c-b653dfd7c6cd","resolution":{"observed_at":"2026-05-14T06:59:04.430619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06-05T21:23:00.469572Z","title":"We index the K chains within a slot in ascending order 0,1","venue":null,"work_id":"8fe63fc6-69e5-43d2-b1b9-ec6dcdea3547","year":null},"citing_paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-12T01:28:55.961892Z"},"links":{"citing_paper":"/paper/2605.08605"},"observation_digest":"sha256:32d09af9082b0c1607653d8cf4d63becf9953dfb9c73db8244120fbc5736db80","observation_id":"20d52ac2-050c-4990-b92e-3bd94385b708","resolution":{"observed_at":"2026-05-14T06:59:04.412815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.08605","last_updated":"2026-05-09T01:55:45Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-11T10:25:52.852820Z","submitted_at":"2026-05-09T01:55:45Z","title":"Lattice Deduction Transformers"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":41},"total_outbound_references":44},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2605.08605."}