{"as_of":"2026-08-18T08:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aaae73c01f61858a6ab7056e329d975d7d1af28df7f04c9a3fc8f7e2fd758b06","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T05:51:53.616937Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2504.19705/citation-record","integrity":"/paper/2504.19705/integrity","json":"/paper/2504.19705/citation-record.json","paper":"/paper/2504.19705"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1603.04467","last_updated":"2016-03-16T16:57:12Z","snapshot_observed_at":"2026-08-14T22:06:04.800050Z","submitted_at":"2016-03-14T20:50:20Z","title":"TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1603.04467","snapshot_observed_at":"2026-08-16T05:51:53.471630Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.471630Z"},"links":{"cited_paper":"/paper/1603.04467","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:3b4a2425e6f3242da939df283b28f053878ade23e073cd04e730465913b99ee1","observation_id":"de020d08-83f2-422a-9a5c-8c49ec7f9821","resolution":{"observed_at":"2026-08-16T05:51:53.471630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-16T05:51:53.476544Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.476544Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:3d70779019e330e9857eabe1fbd2eeea79e765616983f3506769d5c989c2ba1c","observation_id":"e92ef335-2b66-4100-ae51-b26c99877d92","resolution":{"observed_at":"2026-08-16T05:51:53.476544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1611.01989","last_updated":"2017-03-08T11:50:33Z","snapshot_observed_at":"2026-08-16T15:49:25.517557Z","submitted_at":"2016-11-07T11:09:45Z","title":"DeepCoder: Learning to Write Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1611.01989","snapshot_observed_at":"2026-08-16T05:51:53.480576Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.480576Z"},"links":{"cited_paper":"/paper/1611.01989","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:4312f15777078bec22665e2407d171257a5419d0ead77ee127b79a53d4fbaae7","observation_id":"898037b0-3c12-4167-b4cb-ceecd01bc799","resolution":{"observed_at":"2026-08-16T05:51:53.480576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.230476Z","title":null,"venue":null,"work_id":"36d63dbf-0778-4d46-ac90-d280a6e37d4d","year":null},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.484815Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:bd79fd73d028f2890ab912ca22f4325dd30b9f1792904e67b543f62023201dde","observation_id":"17896535-91b8-4924-944e-f791a14d58a8","resolution":{"observed_at":"2026-08-16T05:51:54.233601Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.221412Z","title":null,"venue":null,"work_id":"2fe882fd-7818-4fdf-adb6-e56e848d83be","year":2019},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.493118Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:b6f87e89265921a433c14f6745798b69bd0a249011c4e70710c07d0326b951f7","observation_id":"56ae8770-7d34-492b-aab2-811d40938584","resolution":{"observed_at":"2026-08-16T05:51:54.224528Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.211571Z","title":null,"venue":null,"work_id":"9158fd0b-ba6c-47c5-b5df-b199fbd80a87","year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.496766Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:83b0151f9b2f114b1d09dc22d7cdc546faf50c8d531814a3fbf6fdb1955fefe0","observation_id":"1c598160-0eca-418f-8b53-80136370260c","resolution":{"observed_at":"2026-08-16T05:51:54.214982Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.500988Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.500988Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:aa38cb8af25c3d4dba0390cc8d68505b49efc2752ec0c0372656750abf118633","observation_id":"4428bd50-599a-415b-9b0c-8daeebc02399","resolution":{"observed_at":"2026-08-16T05:51:53.500988Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.197301Z","title":null,"venue":null,"work_id":"f668ee85-c496-47e2-8540-04aff5e39ade","year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.504612Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:605381a24f47662265e4c5cadef83bef0cc68110b54a54adaaaa0771411fc0e3","observation_id":"54725a44-b42a-4c61-830b-851f995fb748","resolution":{"observed_at":"2026-08-16T05:51:54.200399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.187307Z","title":null,"venue":null,"work_id":"43015d5f-24bf-46b1-b433-90e6aa2c61a5","year":2018},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.508012Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:5e8c25bd565321d175aebcd223c8ccb7bc51aae6d5beec42f3875660181ed94d","observation_id":"5a51ee00-da78-405d-beef-1e8035e63307","resolution":{"observed_at":"2026-08-16T05:51:54.190628Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.177256Z","title":null,"venue":null,"work_id":"d4e43213-8804-4c6e-a0d0-701f542696d7","year":2021},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.511057Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:b619747e52c0333c7eccc2cdbe8016e87f8d82bde6db4b3051a901ebf595fa2f","observation_id":"90dad8f7-8627-4596-8079-e2d31835c972","resolution":{"observed_at":"2026-08-16T05:51:54.180595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.166601Z","title":null,"venue":null,"work_id":"284d60fc-3de9-473a-99a7-00edc5865f93","year":2018},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.515509Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:d8bc8c8354e127a0afa823a2069f9a33feb157212f3a5602696476d3f3c53913","observation_id":"bfaefd00-3803-4123-811d-fc1d1f074b11","resolution":{"observed_at":"2026-08-16T05:51:54.170953Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.157127Z","title":null,"venue":null,"work_id":"880e9ec3-c7db-4adb-884b-8da56adfddd7","year":2003},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.518977Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:16cf91828fa190605b8b87ea8b5d979c4dc7a74c8e4bae2930d85412a4774c66","observation_id":"2c59e3ee-8bf8-487e-80c7-ee574703e810","resolution":{"observed_at":"2026-08-16T05:51:54.160443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.147306Z","title":null,"venue":null,"work_id":"3fba61cc-c753-474f-a826-5c01a4a0e85c","year":2020},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.522356Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:723783539045639d85d1e77f48838d6c0d15109fdaa7f71bc00711761c821efe","observation_id":"11070ba4-a0f5-46b5-8a3d-1f5afad04cfc","resolution":{"observed_at":"2026-08-16T05:51:54.150617Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.137549Z","title":null,"venue":null,"work_id":"5285a709-0cbe-4fba-ab91-a14fdbc8f0eb","year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.525785Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:b22d97a0d99823bfe7dc2b0011739b9be1ef50e1fbdb5cf83926788f6c904deb","observation_id":"cce752f3-4b44-4d7a-85e1-edbc60a6a7aa","resolution":{"observed_at":"2026-08-16T05:51:54.140994Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.529531Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.529531Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:6ad809fb4d00059df52a0330790581aeb5f614714d7ab05d9d459b2031eb61dd","observation_id":"76e18393-ca4c-41d3-b815-0b863fb06863","resolution":{"observed_at":"2026-08-16T05:51:53.529531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.533466Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.533466Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:605ae61d4070e66bb94d6aa2f0ebf026bae43acf974852390421632407a8fc42","observation_id":"5a4b3b36-aa0e-460d-b694-117b2a086f8f","resolution":{"observed_at":"2026-08-16T05:51:53.533466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.537011Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.537011Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:e95466121ce1afb353539ce88fe79bd64a2d8415c57a77ed292b0e5f1a4b910b","observation_id":"13a38756-0db3-41e3-80f9-b4e80df8362e","resolution":{"observed_at":"2026-08-16T05:51:53.537011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.123011Z","title":null,"venue":null,"work_id":"6fa26c52-2316-48a7-a1d5-f7c615510346","year":2017},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.540342Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:212757ea919a5d4c0f9c87f2d5264102e309de74856338fece612d022527df13","observation_id":"6c03508b-c7e4-4087-8a9a-3d4eb73d71f4","resolution":{"observed_at":"2026-08-16T05:51:54.126058Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.113768Z","title":null,"venue":null,"work_id":"b53515de-0bb9-4d03-a146-4c29b21a5a75","year":2014},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.544597Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:be4b8fb36d30343fb92b5a3dedd5b433fcac8b894d979c94d0c524b0de34d096","observation_id":"e855ffbf-4da2-440d-91c6-86f2b9315c94","resolution":{"observed_at":"2026-08-16T05:51:54.116978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3656445","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.663939Z","title":null,"venue":null,"work_id":"73a03d7a-ad0e-414b-97c8-8aa9f8e62103","year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.548284Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:a6cf2c96324752fbf18f30df3517ea2548beff5754657200a71a41f2a90772bb","observation_id":"f3819a01-f013-4bc5-8551-d39c9d13bbd8","resolution":{"observed_at":"2026-08-16T05:51:53.667485Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.11054","last_updated":"2020-03-01T00:38:46Z","snapshot_observed_at":"2026-08-15T17:18:59.163433Z","submitted_at":"2020-02-25T17:24:50Z","title":"MLIR: A Compiler Infrastructure for the End of Moore's Law","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.11054","snapshot_observed_at":"2026-08-16T05:51:53.551995Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.551995Z"},"links":{"cited_paper":"/paper/2002.11054","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:f6f83f28c943018cdb3d064a592cb705c7b88f493bee583e7cf9e512110b536b","observation_id":"16ed7958-08e5-4389-a11c-d9367f4c58f9","resolution":{"observed_at":"2026-08-16T05:51:53.551995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.555816Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.555816Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:1c9853f2272ae4af25072e7e67a9dd924937d0604b6a4955613fa37868a00529","observation_id":"b8aa300f-63f4-4ce6-ba0c-43cee5490076","resolution":{"observed_at":"2026-08-16T05:51:53.555816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.103798Z","title":null,"venue":null,"work_id":"3a6be7d6-a98d-48c4-876c-4c0c3f701553","year":2018},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.559376Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:3ff3e052fdf0e9225cb8d4d4d1198f3c0ede1811e4804ca1f9ebc8bec04e5c92","observation_id":"b554edcd-ae63-4609-b709-0b0c876b3963","resolution":{"observed_at":"2026-08-16T05:51:54.107431Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.562793Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.562793Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:12bad4e4c7ef56cfd936d9172dd6faa70e62fdb3f4e39bcbea9a17c4d1fb1cb9","observation_id":"695112f1-6ed0-43db-8cd2-677ddb06dc13","resolution":{"observed_at":"2026-08-16T05:51:53.562793Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.093428Z","title":"llamacpp","venue":null,"work_id":"fed1e5e0-b7e9-43da-9227-42f7f8810cc2","year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.566042Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:6af530808852719b394303daa4342d8a5192ba54b324b57e993650331111f73e","observation_id":"2d128c2f-62a6-4f50-ae40-4664fa266c93","resolution":{"observed_at":"2026-08-16T05:51:54.096890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.569347Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.569347Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:413af6e84b8086f4624b528171fbf04f62d75a2a55d111c09ca37af52323798f","observation_id":"4f3ff898-129e-4efa-a352-b7d12e6cce1e","resolution":{"observed_at":"2026-08-16T05:51:53.569347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3527315","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.643343Z","title":null,"venue":null,"work_id":"c7f09a00-40a8-4940-9915-eaaf50a97c11","year":2022},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.573001Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:1561886d4a365476c72b09f02bef0fe069ba8d059777fbe43117656e4221bb4d","observation_id":"30bf82b0-2934-446a-b6c5-e12af7a1357c","resolution":{"observed_at":"2026-08-16T05:51:53.648626Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.083171Z","title":null,"venue":null,"work_id":"1318492d-5b59-42a7-b661-f53242eb8223","year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.576456Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:e7818475c10952e3c1202a817aa8f483c903b66c84a2f7b4a8d8875b242dc710","observation_id":"a8214c86-6fd6-4a4e-8beb-9ce9f56e678f","resolution":{"observed_at":"2026-08-16T05:51:54.086431Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.072929Z","title":null,"venue":null,"work_id":"7eef15b1-26dd-475b-a7a7-5fb68b974921","year":2022},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.579628Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:becb622633844078a4c2ad07f3031d374a2bac598d395fa14409c7a6fec904ab","observation_id":"46f348e9-13d3-4813-be1d-6f6d63ade811","resolution":{"observed_at":"2026-08-16T05:51:54.076480Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.061869Z","title":null,"venue":null,"work_id":"dbf49957-598b-4866-b107-3bafad2f937f","year":2019},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.582951Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:b1dd26fda3da601e1192aa5abeca8687aa66fcb8b3072fa9a316bc4940417137","observation_id":"333669d6-33cc-4503-9f9f-54efd0ec7909","resolution":{"observed_at":"2026-08-16T05:51:54.065646Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.051212Z","title":null,"venue":null,"work_id":"aa6deea8-5f25-4eea-b889-f25970f3bf0c","year":2002},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.586443Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:c612249bf632060d757c816816d1d7d88f45df3671683449851dda57937457c6","observation_id":"02288b76-1838-4ffb-9e0b-98601f2c34de","resolution":{"observed_at":"2026-08-16T05:51:54.054692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.14381","last_updated":"2021-09-30T13:50:43Z","snapshot_observed_at":"2026-08-16T22:32:15.414699Z","submitted_at":"2020-07-28T17:46:18Z","title":"BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.14381","snapshot_observed_at":"2026-08-16T05:51:53.590515Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.590515Z"},"links":{"cited_paper":"/paper/2007.14381","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:473e29ddde433b7e89fc49fe9d5a675fc2d8c5dafbc4ed2c5ea7faa4ae880b49","observation_id":"803f2863-f4cb-4b62-98de-8cb2c76ee4c0","resolution":{"observed_at":"2026-08-16T05:51:53.590515Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.594210Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.594210Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:3e8986018784935a42d727fca652f0dcef1b5412f39492712f566135d711294a","observation_id":"acaac851-aa66-4a11-ad6e-61af9f3ccfcd","resolution":{"observed_at":"2026-08-16T05:51:53.594210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.034100Z","title":null,"venue":null,"work_id":"c79d28c2-34b6-4fbc-b03f-92ba29c3a5a9","year":2019},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.598931Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:c3111b1d5e8db31417402ead6b68a6af9885d01e050503e4c3798806d81431cb","observation_id":"abf7eedd-e1e9-4503-b6f9-9d38299d3a69","resolution":{"observed_at":"2026-08-16T05:51:54.037541Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.023835Z","title":null,"venue":null,"work_id":"b9f0f633-6ef7-416f-97be-5cbe37f8e435","year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.602139Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:7a154f52878c65ed9815277bd149ac074182f2a9813ef4eb50caea8ea7a5b127","observation_id":"ed31dfef-b028-4f1c-95e1-b23150ff3d2b","resolution":{"observed_at":"2026-08-16T05:51:54.027398Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:54.013469Z","title":null,"venue":null,"work_id":"6a46691b-d475-44c4-8a1c-35909bd9a3e0","year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.605279Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:207e0e8d242d45d36dfdf413b39f34a16f643c09a6d5dd38f90633bb04745095","observation_id":"b7b9db63-e395-4c7a-8cfb-ff8af8980958","resolution":{"observed_at":"2026-08-16T05:51:54.017101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.608948Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.608948Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:c090db9c2e1034a4209a24b65ebfc6facef17b26a2cfedb74e33177933db99c9","observation_id":"653ae135-e138-40b1-8589-6b6c8552855d","resolution":{"observed_at":"2026-08-16T05:51:53.608948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:51:53.996642Z","title":null,"venue":null,"work_id":"0f89a2f6-42aa-4a00-9d4c-b248083358f0","year":2022},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.613077Z"},"links":{"citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:30e2898878ab8ba4d3ca50c28ebf6cdfb1273bea8b021b00a85d66ead3b2ea82","observation_id":"7f22b518-6656-473e-b483-854e0fc4bb8e","resolution":{"observed_at":"2026-08-16T05:51:54.000178Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.10452","last_updated":"2022-03-20T04:41:05Z","snapshot_observed_at":"2026-08-16T17:13:15.459279Z","submitted_at":"2022-03-20T04:41:05Z","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","version":1},"cited_work":{"arxiv_id":"2203.10452","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.10452","snapshot_observed_at":"2026-08-16T05:51:53.697646Z","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","venue":"cs.LG","work_id":"572ac29d-2be7-4913-ac50-9fa36a05419a","year":2022},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.616937Z"},"links":{"cited_paper":"/paper/2203.10452","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:686d47837897279bb7c7ab7329085928910a3f36e4165c7eaf3437c77be59fda","observation_id":"e50ac908-c386-4b65-805a-a2cfa244fd94","resolution":{"observed_at":"2026-08-16T05:51:53.702481Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.15880","last_updated":"2024-11-01T02:46:03Z","snapshot_observed_at":"2026-08-16T16:12:32.510246Z","submitted_at":"2024-05-24T18:45:51Z","title":"HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.15880","snapshot_observed_at":"2026-08-16T05:51:53.488571Z","title":"arXiv preprint arXiv:2405.15880 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-16T05:51:53.488571Z"},"links":{"cited_paper":"/paper/2405.15880","citing_paper":"/paper/2504.19705"},"observation_digest":"sha256:f14859f0e6abf5ff2ec1978d81bb501f856ff390009a40996770da86dfee5e45","observation_id":"99e9dca6-594d-4360-8687-c46eccba1aad","resolution":{"observed_at":"2026-08-16T05:51:53.488571Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.19705","last_updated":"2025-04-28T12:00:10Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-17T09:42:04.508854Z","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":3,"verified_fuzzy":1},"total_outbound_references":40},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2504.19705."}