{"as_of":"2026-08-05T08:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0064acf5d408bc68508a8217a506909e6560ad8e26d9243ca93f05b5a15ad3a0","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T05:07:32.559472Z","state":"measured"},{"denominator":56,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":56,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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-03T21:50:15.640858Z","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":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.11827","snapshot_observed_at":"2026-08-03T21:50:15.640858Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-05T06:03:11.684748Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.640858Z"},"links":{"cited_paper":"/paper/2507.11827","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:067ec2882191fc506875fb55af7062300f045dc4e2995965aabef0b15ceffbef","observation_id":"349a726c-6116-4fac-bc44-9a0b92120371","resolution":{"observed_at":"2026-08-03T21:50:15.640858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.11827/citation-record","integrity":"/paper/2507.11827/integrity","json":"/paper/2507.11827/citation-record.json","paper":"/paper/2507.11827"},"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":null,"venue":null,"work_id":"c9e8c92c-b750-42a1-8bc8-e6c046dbe83e","year":2008},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:7abf7179669fa7d9bfd04482197423d05cdcc66d211bbde64e0c0aa9283716fe","observation_id":"cb2f4d7f-fd0a-4fe1-9726-33879afd445b","resolution":{"observed_at":"2026-05-19T05:13:00.166094Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"72b082a5-cd6d-4c20-9fce-3765cb249a11","year":2018},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:d0842c76e8aec8de07e5bd14f69af45bfb82d842487773857253da88547f824b","observation_id":"90aa89e2-8c7c-4ef2-9a29-1f1926073c5f","resolution":{"observed_at":"2026-05-19T05:13:00.161890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"c4c70499-2fd8-421e-9f65-b74aac0cb6cb","year":2018},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:6349ab08f36979cabee49d8b0cc4c5c75acb4dcd23cccebf451a8bc07f03c029","observation_id":"174653e4-f000-4c6e-942f-b772d67f0030","resolution":{"observed_at":"2026-05-19T05:13:00.170303Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"6bf8fbd5-a03f-4034-bb6f-ddf5dae94f50","year":2024},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:7af5d2ed6450832b2e0e3f12d13e6e908aa39ab0757c244c2a4ce28ad840a7e6","observation_id":"b7a9d88a-1dd4-451d-8f65-b5e60d7c7ecf","resolution":{"observed_at":"2026-05-19T05:13:00.173331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3656377","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Input-relational verification of deep neural networks.Proc","venue":"Proceedings of the ACM on Programming Languages","work_id":"1437e698-de46-49be-b762-22f6d41f93c0","year":2024},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:6e7dd9609ab2a2c248ce7d05fc0118356f8117b83b4382b0aa61ed93733fa34e","observation_id":"6aa400b2-1105-43cb-bb1f-394f6d20ade5","resolution":{"observed_at":"2026-05-19T05:12:04.719214Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-25T15:24:01.446757+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T15:24:01.446757+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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":"Bertsekas","venue":null,"work_id":"df4060ae-71b8-4ba5-b3d1-00e2da03ad4e","year":1999},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:ffaf9def0173548537a99ba8ae560df8f22b5014e325908223710f088dcd394c","observation_id":"ece17319-e167-4f4e-a291-eec7dfe1d770","resolution":{"observed_at":"2026-05-19T05:13:00.176070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"08075fe7-cf73-4805-9042-15574e0fda08","year":2016},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:e8da037a282bbdd98282e91dcb849fd65d65b707651bd8ba84d9b0aa8e960c79","observation_id":"91474492-0e95-483f-8f0a-4366820ecd9a","resolution":{"observed_at":"2026-05-19T05:13:00.191606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-49674-9_55","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer-Verlag, Berlin, Heidelberg, 887–904","venue":"Lecture notes in computer science","work_id":"00f50089-82c7-4a20-95bf-0f6948b58fd2","year":null},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:e78f5738bcc56ac5e2cc2014abe3b13d7b502829d360aabf1097c45beffa0da3","observation_id":"19079302-4a9b-4fa5-b552-d13550c8959a","resolution":{"observed_at":"2026-05-19T05:12:04.734721Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"e1bdca45-e158-42b4-be08-1c4de37d584e","year":2004},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:91b689324fd3f976c8c2084e4fc0024f4d8d508128b52bd7973c3e59a73cdba0","observation_id":"c4741654-d653-426f-a2a8-580614ff14e3","resolution":{"observed_at":"2026-05-19T05:13:00.179248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"a50032d1-db37-4cc1-a25e-c2f9bc2b3484","year":2018},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:5b8c451bfcb2cf056d5d3644ad90b9ef8baf9e865b093bb9a80e1875a767732e","observation_id":"11cf9117-efa0-4dba-b8af-20f6eaf571ea","resolution":{"observed_at":"2026-05-19T05:13:00.183660Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10703-017-0314-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Formal Methods in System Design","work_id":"059b707c-2c59-4ce6-bdcf-5cf8069552a5","year":2019},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:b22819064eeae4befeed9bdc2d4f78f7b426fc4399e86fd1247392873c58d3c7","observation_id":"6097d62c-a8b6-4a55-ae02-8d8473537f0d","resolution":{"observed_at":"2026-05-19T05:12:04.777507Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2950.512973","doi":"10.1145/512950.512973","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Abstract interpretation: A un ified lattice model for static analysis of programs by construction or app roximation of fixpoints","venue":null,"work_id":"69ac5f40-bbb8-4c7a-8261-443cb2d08657","year":1977},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:fa9169b8b29ef85b571ddbdbbd6b0df103880f18c6749c48d35344e167efa2f5","observation_id":"79e0b2a4-9258-4d98-8029-583631a19ba1","resolution":{"observed_at":"2026-05-19T05:12:04.743307Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T17:49:34.488337+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T17:49:34.488337+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0022.808314","doi":"10.1145/800022.808314","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"d20caa95-0658-4b6a-b689-b49d6d869a22","year":1977},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:74de5cf9d1398634d1bf73d63c721a84ce6b6ba769a7282accf69f3333625fc3","observation_id":"1b48e616-6a28-4718-9548-a653b7d89c08","resolution":{"observed_at":"2026-05-19T05:12:04.789680Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"1e90fdaa-b5f4-41d2-ace0-61b001b79ac1","year":null},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:feacc74c6dc565af48526576e18ac23bcb2c54f49fc98db6812cdbca8ebeb6c6","observation_id":"410db6d0-0836-40ad-bb09-4c85edad2604","resolution":{"observed_at":"2026-05-19T05:13:00.136782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-31987-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Proceedings of the 14th European Conference on Programming Languages and Systems (Edinburgh, UK) (ESOP’05)","venue":"Lecture notes in computer science","work_id":"093f4a4a-13cf-4919-8d10-2a3ceb9e864a","year":2005},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:92d2cf46d2a5d18c13bd159edaaefcefbf540b1764161d82998c5d7ed7d32a73","observation_id":"167de45f-ecb2-49ae-b502-cd957e92ff90","resolution":{"observed_at":"2026-05-19T05:12:04.716597Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:00.112323+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:00.112323+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3290355","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"0face9ba-5166-481e-a734-42f6c3ac8ba7","year":2019},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:ed7785e6670bed9a82c90dd80778068a9d04942d6a6b3d04dce7e129e0696275","observation_id":"0551b62e-36da-4f29-ae01-eefb632f15da","resolution":{"observed_at":"2026-05-19T05:12:04.779871Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2760.512770","doi":"10.1145/512760.512770","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"1e7c2728-04c5-4e8c-9c25-31afb8c9eb18","year":1978},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:c1288dce03bf9b36503419b21010bc90ce2d143b3daf39939fcde18afb7eedc6","observation_id":"25621451-5a0b-49ae-afa1-6e019f56c480","resolution":{"observed_at":"2026-05-19T05:12:04.762688Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T20:19:02.128342+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T20:19:02.128342+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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":"325cdcb0-8638-428b-826b-eb59d336d2e6","year":2022},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:32ed0e1e34feb28288c05c12a8893a40834e9168936f6c07e9cac218f5daf96c","observation_id":"1a65a8dd-e667-431d-b0cd-92eecb4ed43c","resolution":{"observed_at":"2026-05-19T05:13:00.140034Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3457885","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Navas, Peter Schachte, Harald Søndergaard, and Peter J","venue":"ACM Transactions on Programming Languages and Systems","work_id":"ffa88f24-0901-41ac-bd04-ac1bf0b81d2e","year":2021},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:ee7a4a4588b2b328aac8625a50295cb2ac5c03461fe4665c7595a91d9b670ed8","observation_id":"2570b786-4dcf-4b91-a508-6b666f41a937","resolution":{"observed_at":"2026-05-19T05:12:04.775030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"Navas, Peter Schachte, Harald Søndergaard, and Peter J","venue":null,"work_id":"b7e7f859-a210-4164-85a1-8bfb1c2f9a9a","year":2016},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:ce902b4bc8a3c3c0a32f8bf29adb8adabe4d5065e06733a6daf1561b4998ec3f","observation_id":"b8993e99-2d17-4f74-a636-7db2c0003920","resolution":{"observed_at":"2026-05-19T05:13:00.125018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"930ae9cb-b95e-4e60-b5cf-115225c744aa","year":2015},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:7b8c62df955fbf2e09c544eaf912a4cd6d0d2a11955a6270f8504c63c4964cee","observation_id":"ed1707c9-0d7a-4840-bd97-13ca9dd84ad2","resolution":{"observed_at":"2026-05-19T05:13:00.121218Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"posts/2905004","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"80edc3f8-d365-4f90-8a81-e0d61ea34897","year":2024},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:b43e80ba92c124d6a1c67f4169365d7a5b4d4ab862edcf84a6147e607ea1b49d","observation_id":"9441ea9b-80da-458c-904c-e12996b3debc","resolution":{"observed_at":"2026-05-19T05:12:05.342098Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5412.338601","doi":"10.1145/3385412.3386011","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":"371ac66c-5137-4896-b811-446257c5cb75","year":2020},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:4dafe1a1b0f13593bc8919fd64f64cebe3786e1d6402228a625a4c13415df5dc","observation_id":"23913411-0267-4498-8593-357ec1117a8c","resolution":{"observed_at":"2026-05-19T05:12:04.759187Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"9e05307d-1a79-47ae-ac76-d0088dc11f07","year":2016},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:a195e4b7f23802131f993bc11327a52ef774a45d58358f97e5961fea9345e341","observation_id":"b938db68-4ba9-4e26-b479-935bb0b89913","resolution":{"observed_at":"2026-05-19T05:13:00.128981Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/icse","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T09:16:48.602186Z","title":"In: ICSE","venue":null,"work_id":"7f1c1078-2aaf-4451-b180-af0a8f50ec32","year":2019},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:c4a780f1db5978ee86f29cb3c57a0c5f7c5f8363b6467e93c69d65d1c782471a","observation_id":"9cea48e3-02d1-46a2-a133-075fe9718dbc","resolution":{"observed_at":"2026-05-19T05:12:04.769733Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"b1c4997f-246f-464e-aded-1fc0cb3112b1","year":2009},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:9482f78d4c659dbc0764d6d8d2537f2fe78204edf0bcb513e4f5e1402bc5fe6b","observation_id":"8d0f7f5a-6bae-40be-b817-4df4c7fa05f5","resolution":{"observed_at":"2026-05-19T05:13:00.143127Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"673138b2-0a54-4ea8-8b52-0aa486a4b12f","year":2017},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:3c01fecae142c4dc373e6fd05d08f32e2ac94db40595549af3b22fa71b141455","observation_id":"7dc99d9a-2366-44f5-9842-3edcc8f2766d","resolution":{"observed_at":"2026-05-19T05:13:00.187800Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2017.02.004","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Electronic Notes in Theoretical Computer Science","work_id":"d760e5e6-e206-4386-9cce-351223a057c4","year":2017},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:d63ff76697825278bdde0ee034c1f9aaa3a2e7375fe661b5da199f5538fbfd69","observation_id":"5aa55f6e-1ccb-4f5b-b7a2-b597222ac05b","resolution":{"observed_at":"2026-05-19T05:12:04.727925Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3563334","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"f61c7206-ecd7-45d0-8b06-67c58ea5274b","year":2022},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:3cdcdd5b3f4c751a0711427139e228cca8a163fac31fdd1dada44242ed6c9070","observation_id":"3f0596d1-fafc-42df-b18a-e14944582eb9","resolution":{"observed_at":"2026-05-19T05:12:04.782433Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"7040eecb-448b-45ee-b3d5-5804a43e64d8","year":2025},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:a9e757c1dc889ba15cc9f5fc33df7702f5c5692c937da0ab3f58259603557819","observation_id":"15aa9bd3-e99e-4db6-8e6b-f13747f5a23f","resolution":{"observed_at":"2026-05-19T05:13:00.109678Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"07b47279-0dd5-42e5-8b2a-31303058ab54","year":2023},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:91fc923687dfbd8dbb60732597dc7f91f9fb258ca03e3ca1446715f0c3fbfce6","observation_id":"48f73b15-985e-48ec-af25-ec00e8d20a8d","resolution":{"observed_at":"2026-05-19T05:13:00.097967Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"4c813515-6693-4295-b48c-6832ac082d29","year":2009},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:b3623a1795df07d13400ba43a2101b1ce05378278e259400d5b61aa822691b60","observation_id":"ee11743f-87f3-4615-a452-038d0eb8adc3","resolution":{"observed_at":"2026-05-19T05:13:00.102275Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5838.25358","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T06:57:43.405347Z","title":null,"venue":null,"work_id":"b72aaba4-1968-4769-adb8-b2e68ffdcddc","year":2014},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:08bb60718f985491fe1268e9a4339ffb43a97c6b489a707aa0b9f9758dc7d9de","observation_id":"f888c410-7b73-48fd-8768-9842a56ac729","resolution":{"observed_at":"2026-05-19T05:12:05.349161Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3686.136373","doi":"10.1145/1363686.1363736","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"37975b31-6c6d-4940-b131-fda9653684e5","year":2008},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:98ae26888c9ca92a7b5528316a26ede30552238d75ed485d522559c9b3e35d1b","observation_id":"9349bd7e-2eb7-4140-95e3-4c784a28fdc1","resolution":{"observed_at":"2026-05-19T05:12:04.747148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"d2fa7169-e815-4471-b076-d00eb5e41947","year":2008},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:8b3ff126889682847cac4290bb1d8773a62f807755463f79916f38811f2db8d0","observation_id":"8e3af996-0690-4700-b643-1344a7b1e98e","resolution":{"observed_at":"2026-05-19T05:13:00.087788Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"6b642cb1-84d9-46fc-9f9e-52f82b276140","year":2017},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:4b671e8a0fb296bfd1aa17740d95d41ce9e3919cff0e4fcb7ed7c980e053e934","observation_id":"dc16812c-7fe9-4389-bc6d-0cd0307429f9","resolution":{"observed_at":"2026-05-19T05:13:00.091133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.957836","doi":"10.1109/wcre.2001.957836","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"8e708716-eda2-4a92-9c82-5eebb7074605","year":2001},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:a364fa2032fa566d13022534c0118d99a95141f16f4bc56a1ab492f98f0d02b0","observation_id":"a3a896ba-4b4f-4054-a257-a12e15e60f55","resolution":{"observed_at":"2026-05-19T05:12:04.731802Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"2a0fae9c-76b7-4dfa-9c6c-3e731425a709","year":2002},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:d42e24a220340b4a0686519c1c93da28ba8eb2190b315e83916c7a24238cf4c1","observation_id":"21c59d3e-a854-4db8-8b55-515a3d203f53","resolution":{"observed_at":"2026-05-19T05:13:00.094685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"93f80014-8a07-4178-b27d-1320c91027f1","year":2006},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:b430657b205b5dff15e52ddebaa5c69189d6852144f91521a07d9f81ef0c4452","observation_id":"3a84f4f8-d5e2-4292-9e0c-a986cbd1b033","resolution":{"observed_at":"2026-05-19T05:13:00.106124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4291.259431","doi":"10.1145/2594291.2594310","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Maximal sound predictive race detection with control flow abstraction","venue":null,"work_id":"3f3ed277-fa05-46fa-96ae-2333d41604ec","year":2014},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:727ac2755c0f4d5f65d3265775d4e66752ab7d153bcee39fa48f29d9cc0eb181","observation_id":"58f1bade-9c83-4c92-8430-3b228aceca58","resolution":{"observed_at":"2026-05-19T05:12:04.766327Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8965.281430","doi":"10.1145/2858965.2814309","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM SIGPLAN Notices","work_id":"7d3048a8-6d48-47fd-ba27-7e37e5d95c80","year":2015},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:dbad55b719f8ce8454fecbb76bda9bc89250722f78efe87f3388d685a14fcac8","observation_id":"11ded7a7-39e3-4da9-895b-6ff978947613","resolution":{"observed_at":"2026-05-19T05:12:04.750798Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"103b3939-6903-4c44-9c65-c1671661828c","year":2022},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:3bb929d443e30c73acb87e08180aa4faa32b9e2c39f1b74c4c49de54368fd9be","observation_id":"22a71060-364b-4c46-8c18-c17e7e0c8ff3","resolution":{"observed_at":"2026-05-19T05:13:00.113471Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2540.292552","doi":"10.1145/292540.292552","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"8e31f478-3a1e-4373-9351-36a62ed30163","year":1999},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:9a870ed5ca00398836bc76a058419da802358e26ee524ec63ca2ae7fd9e23786","observation_id":"5c4e41b8-35db-475d-ae42-952447c8f1d6","resolution":{"observed_at":"2026-05-19T05:12:04.739164Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"f526254d-c12d-4c70-bd6a-67eb97b1d2cd","year":2005},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:23701464e5653eebcdf4fd76035bf5e60bf585d4493b6d3713020ff8633ec3c1","observation_id":"6924e937-0351-4233-b1bd-2c2ea10ad138","resolution":{"observed_at":"2026-05-19T05:13:00.194922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158143","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"035e00d1-b95a-42dc-9cca-b2add50911c2","year":2017},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:882db437d6876f838c145b516ee5ae443bbaca3ef6dd9e2a293b42b2637e666f","observation_id":"091b6169-6421-4b68-bb9f-1b54d899fc67","resolution":{"observed_at":"2026-05-19T05:12:04.722655Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"cef9146a-f4e9-4d15-a7af-04ebf27bc690","year":2018},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:367aee556b0f26bdd2297d953a6b94090ac504b3b913ef11067a8e4dca9813cd","observation_id":"7fd47736-3d0b-46b3-9088-9a1144ad8640","resolution":{"observed_at":"2026-05-19T05:13:00.132851Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"576b7b48-144e-4352-8ab8-41a3aa52ad1d","year":2015},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:705cd6cd4b87a77fa1dcd0a0d8fd700619ac7837e213ed49999ee1315b831b2d","observation_id":"84411e67-9d94-47d0-946a-fb0f710ed0af","resolution":{"observed_at":"2026-05-19T05:13:00.158249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"47e1e2bc-b651-45a3-b418-92c3bcf92c4d","year":2017},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:c422a9777390edc3b2418884b7ad549de5f26da0e11959d3f23dc334d152d38b","observation_id":"fbc9c69d-ebc4-4ad8-b654-a2757cfe6259","resolution":{"observed_at":"2026-05-19T05:13:00.154726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"d25ad56e-2483-4653-891f-b012321a1c14","year":2024},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:cb23243c9df7fcfc1a66fc354d37c4969896b761095f8cad4d45d67568007e10","observation_id":"97a6da1c-8fe7-4b5f-8233-6858b9df6661","resolution":{"observed_at":"2026-05-19T05:13:00.146726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"b35d1846-d8f9-439c-8b5b-749d9be6371d","year":2021},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:08ddb9b2658fb8e0576c0a7f7bc6469f9568328a4f655df8a49f221594e260e3","observation_id":"8d01d48b-a53d-45f6-a5a6-9af7f69d9b6c","resolution":{"observed_at":"2026-05-19T05:13:00.117594Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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":"86ccf46a-9ded-4527-911e-716d13daf875","year":2021},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:e4ddad26e25ee61325d2e347194c4fa9619982f79dc7f43a44a410e85ef55b11","observation_id":"cf0a02d2-bd51-4088-95a3-dd060305e8a8","resolution":{"observed_at":"2026-05-19T05:13:00.150131Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3485495","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Program analysis via efficient symbolic abstraction.Proc","venue":"Proceedings of the ACM on Programming Languages","work_id":"694a6bc7-366c-4f4f-8320-9ae20c10a06a","year":2021},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:897a7b9c98fbaa607eeaefc4fc505869ae18527ea2ac35d894ff66712d0b624d","observation_id":"11ee2445-d4be-4a27-8870-4eb4e2df815c","resolution":{"observed_at":"2026-05-19T05:12:04.725282Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-32304-2_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"795e1311-a72c-4e01-8b8c-ebb20ef9ebc6","year":2019},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:c14dd850a5a61740b5fcba81abe6f4e4c2e3b04f90e35a90c3ea27d1b67b9716","observation_id":"9ea4ddac-8787-4cc9-9ca2-a7266b584b5e","resolution":{"observed_at":"2026-05-19T05:12:04.772471Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6356.259432","doi":"10.1145/2666356.2594327","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SIGPLAN Not","venue":"ACM SIGPLAN Notices","work_id":"e23c78df-10e9-411e-aad5-84c2e2072d5f","year":2014},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:2284c00f3e53634139f12edd86c86496c3225741bc32f20c1679c820b2459e08","observation_id":"50dfff1f-e6b9-4661-a936-ffd0a1072e1f","resolution":{"observed_at":"2026-05-19T05:12:04.785845Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9370.246218","doi":"10.1145/2499370.2462185","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM SIGPLAN Notices","work_id":"7184d296-2470-4f3b-b592-f5afa8190ce5","year":2013},"citing_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-19T05:07:32.559472Z"},"links":{"citing_paper":"/paper/2507.11827"},"observation_digest":"sha256:b46bd8308fa11aa4a2d45435a8bc02eee33e88e0d658bb0f87180302472ae712","observation_id":"64ef2deb-6732-4db8-b7dd-02adf4481636","resolution":{"observed_at":"2026-05-19T05:12:04.755150Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":27,"verified_exact":21,"verified_fuzzy":2},"total_outbound_references":55},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 1 inbound Pith citation observation for arXiv:2507.11827."}