{"as_of":"2026-08-21T09:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1723662ecca0665428b8bd09ea72943c5284ffa081605da4dff240053670f41e","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T19:05:58.629133Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2411.11036/citation-record","integrity":"/paper/2411.11036/integrity","json":"/paper/2411.11036/citation-record.json","paper":"/paper/2411.11036"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:05:58.440959Z","title":"Yosys-a free verilog synthesis suite,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.440959Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:337d04be1f7a0db08767d558d448c13dbdb9ea5c4a06e37bced7808f5f377478","observation_id":"f0de6a89-5263-4342-bc12-0660d9184a1f","resolution":{"observed_at":"2026-08-12T19:05:58.440959Z","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-12T19:05:58.447999Z","title":"Fpga technology mapping using sketch-guided program synthesis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.447999Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:5a9415378bf2e0e039c8a1055c9440fafafb1aaf80407cfd011e77c130a545d9","observation_id":"0aaa3f91-a1eb-411a-9132-810167277a6c","resolution":{"observed_at":"2026-08-12T19:05:58.447999Z","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-12T19:05:59.536202Z","title":"Program synthesis by sketching,","venue":null,"work_id":"2c9ff15c-494e-48c0-bbcb-c0d14da14d26","year":2008},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.454097Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:b12e81dfb2c54c9e3f1de87cb324151549931b40717e8cfa5a5fcf657c0cbbac","observation_id":"513285c4-68fb-43c2-a48e-82a704b8bca8","resolution":{"observed_at":"2026-08-12T19:05:59.544065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.517895Z","title":"Further steps down the wrong path : Improving the bit- blasting of multiplication,","venue":null,"work_id":"d9357784-667a-431f-ae9e-37b68a0764ab","year":2021},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.465568Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:6e2926282568931dff2b07be7aadb84982bfd3ccbea444b36f2b03baee068894","observation_id":"2e3b07a0-66c1-456e-af55-91dbcb1d0d03","resolution":{"observed_at":"2026-08-12T19:05:59.523128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:58.478907Z","title":"egg: Fast and extensible equality saturation,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.478907Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:dc8e11631d681b9b038826c582e8ce5be68abf3e25bd2f597ea61e4933132b57","observation_id":"a88e7c95-d2d6-432b-b617-4147bb43452c","resolution":{"observed_at":"2026-08-12T19:05:58.478907Z","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-12T19:05:59.500856Z","title":"Better together: Unifying datalog and equality saturation,","venue":null,"work_id":"73fadf9f-8b98-4897-b5fc-bc819afd8f22","year":null},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.488445Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:a20338cf22b454bef0bf4d9c71ba2706dee3b51219a67c9d3fc13fc82d6e0eb8","observation_id":"54af21ee-8af8-4f7a-998c-3ae116a68d32","resolution":{"observed_at":"2026-08-12T19:05:59.506192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00786","last_updated":"2024-03-31T20:20:48Z","snapshot_observed_at":"2026-08-18T21:29:22.139508Z","submitted_at":"2024-03-31T20:20:48Z","title":"There and Back Again: A Netlist's Tale with Much Egraphin'","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.00786","snapshot_observed_at":"2026-08-12T19:05:58.500860Z","title":"There and back again: A netlist’s tale with much egraphin’,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.500860Z"},"links":{"cited_paper":"/paper/2404.00786","citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:c8c21b3458ca67d20435f5615eacadbdd8f33f025e36e0db9e40f44ca403ce50","observation_id":"b0219c35-5558-4a3e-bed4-acb696f72918","resolution":{"observed_at":"2026-08-12T19:05:58.500860Z","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-12T19:05:59.480315Z","title":"Techniques for program verification,","venue":null,"work_id":"0d3a74d4-0eb5-454c-aeb0-63d398973833","year":1980},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.512051Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:b1035ce2dcfa3ddbde7b3d6f1f2ccdaeea89b55c0a516393906ad7130bae16aa","observation_id":"b6b4fef5-f175-426b-943b-e12adf8cf008","resolution":{"observed_at":"2026-08-12T19:05:59.488627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4834.14809","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:05:59.061287Z","title":"Equality saturation: a new approach to optimization,","venue":null,"work_id":"0b777c9d-797b-42ae-8718-cc50349ce60b","year":2009},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.518547Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:2eff220590a8181a70f038c848a33cc67069a3bce2bec09197967085a2fcafc7","observation_id":"4974ad37-e3dc-468f-9359-35f768499902","resolution":{"observed_at":"2026-08-12T19:05:59.077717Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.446313Z","title":"Growing solver-aided languages with rosette,","venue":null,"work_id":"4a74a12a-114e-46a9-bebd-c008edd61408","year":2013},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.529163Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:7aa6a9db627fcbded546155220f13bf58cd21e7bac84376252a1a1d29713161b","observation_id":"50d9d8b7-5c83-4378-9630-ddf14ef58e2f","resolution":{"observed_at":"2026-08-12T19:05:59.452025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.417580Z","title":"Kroening and O","venue":null,"work_id":"f02cc8d7-40de-4ee7-84c2-ebe22ce5b1bf","year":2016},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.536483Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:9076a783c764a28d38892eaaea32d9226a0f9dc701dfb8d0af7b03ba95841a77","observation_id":"916407c8-a90d-470f-81bf-e9f7af84132e","resolution":{"observed_at":"2026-08-12T19:05:59.423339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:58.543125Z","title":"Kami: a platform for high-level parametric hardware specification and its modular verification,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.543125Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:c35e4bc6f295ebe7b4eba07256e6a5c24215e53d895058c3461c1bad35777468","observation_id":"00a7ceab-f48b-4957-9b97-adb5294be587","resolution":{"observed_at":"2026-08-12T19:05:58.543125Z","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-12T19:05:58.551859Z","title":"The essence of bluespec: a core language for rule-based hardware design,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.551859Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:a87837ee2bc3bc8ba2251cc7a16cece01a07679c7c6b5dd63bcb61550ff0939d","observation_id":"66fdaa5f-a650-4795-ac79-e64e23ac81ab","resolution":{"observed_at":"2026-08-12T19:05:58.551859Z","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-12T19:05:59.397959Z","title":"Bluespec system verilog: efficient, correct rtl from high level specifications,","venue":null,"work_id":"44ddb005-4b22-4c46-a87a-52748cf9ff89","year":2004},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.557517Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:5800c23381b67c7a4bf8d4a4ee18bcb93d6fae011413cf6e3838577fe7c1cdc9","observation_id":"3ae1150c-2ef8-4b32-9d6c-96d2e5895b6d","resolution":{"observed_at":"2026-08-12T19:05:59.405616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591237","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:05:58.706949Z","title":"Loop rerolling for hardware decompilation,","venue":null,"work_id":"4156f739-efe2-4cd9-8922-1352ea9a0bd6","year":2023},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.563343Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:db88a2af90dfcc3f5946f64e1cd4a658985448313daf52634f588e59a34aff4b","observation_id":"3c179a74-e367-48c4-938f-d80e0122a000","resolution":{"observed_at":"2026-08-12T19:05:58.714376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:58.569480Z","title":"Verisketch: Synthesizing secure hardware designs with timing-sensitive information flow properties,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.569480Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:168d073ecffafc6b74007da7bf4b7cb8b32354bd7179ea25f458c8b5e4e08675","observation_id":"81d64b65-10fe-4564-a789-fee171cf45db","resolution":{"observed_at":"2026-08-12T19:05:58.569480Z","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-12T19:05:59.370747Z","title":"Sketchilog: Sketching combinational circuits,","venue":null,"work_id":"8d4dc55e-8785-47b5-9465-5a3032e84350","year":2014},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.575730Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:b85404711b3bda128e079f40228a0902314329652592d6da94a3c5943889c272","observation_id":"de1106d8-774e-4499-98c9-5f5834525663","resolution":{"observed_at":"2026-08-12T19:05:59.378601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.335732Z","title":"A verilog rtl synthesis tool for heterogeneous fpgas,","venue":null,"work_id":"40bfb188-6896-4cdd-a78b-072d28742eed","year":2005},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.585382Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:03c64ad89e834348ce5c16b9af9c366fd8dc7cc7b370123bd0ffd55b8fb80898","observation_id":"0093e56f-fdb0-48d3-ae4a-41e3ab840d4b","resolution":{"observed_at":"2026-08-12T19:05:59.343630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/fccm.2010.31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:05:58.683249Z","title":"Odin ii - an open-source verilog hdl synthesis tool for cad research,","venue":null,"work_id":"a9ac7573-12a8-471e-a3e5-1abe5298bdf5","year":2010},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.595988Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:6ae4fe3caf7f3fa08eb7006d4aaef2cd5376f08849a23230a1dd44b61cd023f5","observation_id":"7052f2ad-66ba-4c77-9fbe-b2d925ae2ed0","resolution":{"observed_at":"2026-08-12T19:05:58.691477Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04696","last_updated":"2024-06-07T07:15:22Z","snapshot_observed_at":"2026-08-17T11:58:23.348013Z","submitted_at":"2024-06-07T07:15:22Z","title":"PolySAT: Word-level Bit-vector Reasoning in Z3","version":1},"cited_work":{"arxiv_id":"2406.04696","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.04696","snapshot_observed_at":"2026-08-12T19:05:58.793353Z","title":"PolySAT: Word-level Bit-vector Reasoning in Z3","venue":"cs.LO","work_id":"8c8ae813-cf88-41a6-bf54-b0a873d8bd8e","year":2024},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.602506Z"},"links":{"cited_paper":"/paper/2406.04696","citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:f55535eedb5fc16c82128734070b2d506dffd9f4ab33fb8cae6c35a462598141","observation_id":"5fcf0e6e-5d24-4849-bb73-698e99a63256","resolution":{"observed_at":"2026-08-12T19:05:58.801123Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.311173Z","title":"Formal verifi- cation of arithmetic circuits by function extraction,","venue":null,"work_id":"d649d5f5-b38d-4445-97f8-2d07b819dcae","year":2016},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.611327Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:d0e9f9fc7fbd8addf59af682323fc26c78b4c6237df9bcf19cfffda140bc783e","observation_id":"a8cbdd5b-e9f2-4bd7-ae9a-cf3fadd3c64d","resolution":{"observed_at":"2026-08-12T19:05:59.318460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.282781Z","title":"Efficient parallel verification of galois field multipliers,","venue":null,"work_id":"673b5417-3575-4f12-b0ac-fcc9badd0141","year":2017},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.618654Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:514995c47af108afeb8e650c3244c1bd4e45ee4040e77da4440501704501dea3","observation_id":"416aa642-f511-4015-8485-6dc5e831760b","resolution":{"observed_at":"2026-08-12T19:05:59.292634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.256676Z","title":"dafny-lang community, Dafny Reference Manual , 2024","venue":null,"work_id":"81e0d2c3-8c28-4f93-8c5c-f4f74f97a5ca","year":2024},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.624168Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:0357c328efb0baca3f72cfdb65998c7e64c1bd85004c6280f9550d8b4e250ca9","observation_id":"73b32c2d-1e6a-446a-805b-af2cd9ebe114","resolution":{"observed_at":"2026-08-12T19:05:59.263214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:59.218139Z","title":"Haploid: Speed up smt via preprocessing using egg,","venue":null,"work_id":"9b52d7e0-4935-43d2-ae64-b8accdd29562","year":2024},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.629133Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:ba767a6140344960d4c573d59e6a5b08bf451c1c1744a0f439018d07e770437a","observation_id":"77010f3e-5fe2-4827-9227-9a0771e6afdd","resolution":{"observed_at":"2026-08-12T19:05:59.235648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T19:05:58.495211Z","title":"Available: https://doi.org/10.1145/3591239","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-12T19:05:58.495211Z"},"links":{"citing_paper":"/paper/2411.11036"},"observation_digest":"sha256:0b41339d2e5f9d8d8251abc25d7667d74ba24d17e01946cd72ba8225c8444bcd","observation_id":"9e26264d-ec61-4c40-95d0-b38be3d7976f","resolution":{"observed_at":"2026-08-12T19:05:58.495211Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.11036","last_updated":"2024-11-19T13:59:54Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T18:57:50.504976Z","submitted_at":"2024-11-17T10:54:44Z","title":"Scaling Program Synthesis Based Technology Mapping with Equality Saturation"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":3,"verified_fuzzy":13},"total_outbound_references":25},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2411.11036."}