{"as_of":"2026-08-13T23:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6635799299b2d660f56c16803b588ffbb7ea90cba38c1f2bcb9a88e1489374e4","coverage":[{"denominator":78,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":78,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T04:43:55.970012Z","state":"measured"},{"denominator":78,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":78,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2412.18484/citation-record","integrity":"/paper/2412.18484/integrity","json":"/paper/2412.18484/citation-record.json","paper":"/paper/2412.18484"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:43:56.577287Z","title":"https://etherscan.io/ address/0x4f9048d95616DBF7acC16FC4179F5aC6eE37bce6","venue":null,"work_id":"737dff9f-2f1b-476f-a16f-e51545d28153","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.755448Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4e8ec36f404f37abeecb60b01bb9a35df06466fac43b1b3a81c64f67f8de7fb4","observation_id":"dc0872b0-df8c-427d-b1e9-f2a3cd1070a1","resolution":{"observed_at":"2026-08-11T04:43:56.580415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.568745Z","title":"https://etherscan","venue":null,"work_id":"9df3dd6d-de39-46be-96d7-23ebd76d0250","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.759399Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:1d8817aa83df1b06180e1d78361308832d3de5bf97d4bae68ffb5dc152c3b563","observation_id":"7c59d76e-a999-453c-91b4-d716f4fc1dd0","resolution":{"observed_at":"2026-08-11T04:43:56.572431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.560226Z","title":"https://remix-project.org/?lang=en","venue":null,"work_id":"b50b2c06-a12a-418d-8396-c783ed4ebac5","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.762801Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:9fd7f5de40a1409324bf21fc0185ca9b5124b870b0860c30a99e6cf3c9b73465","observation_id":"83bc7556-d82f-4ac2-a2a2-46672737972b","resolution":{"observed_at":"2026-08-11T04:43:56.563194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.552168Z","title":"https: //www.theblock.co/, 2024","venue":null,"work_id":"c10c4617-0e92-4226-a055-f6a1fa86185b","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.766192Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:69123027fdcd8b993800fc9e3a1c2e9084e0121e72d78ad74641a30aba76b1f6","observation_id":"a66ac609-1f05-4204-9501-d54b16c340c9","resolution":{"observed_at":"2026-08-11T04:43:56.555319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.543969Z","title":"https://etherscan.io/ contractsVerified, 2024","venue":null,"work_id":"9bccc3e8-d906-44bb-acf9-0d26f410f0ee","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.769644Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:410f6282f6f1bb963ea3d0e06253263bc4685a830938f92fa472de5acb3382e5","observation_id":"45ac36d2-bfa0-42c3-9c90-324290f2ab0a","resolution":{"observed_at":"2026-08-11T04:43:56.546906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.536180Z","title":"Abdellatif and K.-L","venue":null,"work_id":"d5d50c07-806b-4ed2-a9a2-c88bbebe8bc6","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.773043Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:aa5327f5b1e316709478a1f08ee425baf7f13af447b32af40b5712528c829d50","observation_id":"3b6d884f-6531-4b4f-87b4-f8cbb440d84c","resolution":{"observed_at":"2026-08-11T04:43:56.538646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.528578Z","title":null,"venue":null,"work_id":"aea2eb4a-ceed-4548-baac-d0973c0d8edf","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.776649Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b99ebea92094974f3fb255453bd8268d5e39f3a656ae365ac6ca714c7f0bad75","observation_id":"7aba13c7-8a07-4e1d-85dd-3b14507b7197","resolution":{"observed_at":"2026-08-11T04:43:56.531174Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.520789Z","title":"Bhargavan, A","venue":null,"work_id":"c31ed422-9543-4b0a-a4df-1a44d7cd5663","year":2016},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.779677Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:df4aeb72a69eff887d1092be824b6b69b6e530610779b36d57e29168d343dd0b","observation_id":"c2a6bb13-6a62-4507-9411-e106a5c45dbb","resolution":{"observed_at":"2026-08-11T04:43:56.523483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.513032Z","title":"Bragagnolo, H","venue":null,"work_id":"86728d75-8181-4835-aa30-6b78194b219b","year":2017},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.783243Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a984aa53c262cb6cc7fb8fa6607468d29058a27a9ab149abe8ef255341975bf0","observation_id":"6baf7eac-3bc1-4f67-a2ca-c867a217f960","resolution":{"observed_at":"2026-08-11T04:43:56.515948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.505735Z","title":"Brent, N","venue":null,"work_id":"afc13cc0-849a-4838-a8fb-3a63bdff8895","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.786230Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:562635e56f4c47721d755601bcafbb9bcd1a7cb3c7436eeb9ef7f128cbd7660c","observation_id":"e2200046-1d58-425b-8361-7f413dca2ad1","resolution":{"observed_at":"2026-08-11T04:43:56.508236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.497964Z","title":null,"venue":null,"work_id":"745a44bc-2396-42d5-b165-b07a2057b9a3","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.789180Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:0a5efd5e702ea7534fa82ca4d4bdf269d1a8c47889c14ea698bba33838bad3a4","observation_id":"18623a67-e9f8-4a51-864e-3f6cfa060e23","resolution":{"observed_at":"2026-08-11T04:43:56.500738Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.490591Z","title":null,"venue":null,"work_id":"d26395eb-739d-45ee-98c2-a32745d5adb7","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.792135Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:39402ae82584d9b98e0188b10c887b32231dc90a69e8648fd676991f0916ba6a","observation_id":"9686dd62-b4d9-4fcd-89d6-5d38b79aadf8","resolution":{"observed_at":"2026-08-11T04:43:56.493224Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.483158Z","title":null,"venue":null,"work_id":"9eb5370c-cd00-47ec-bbdb-47a0ce02a8cd","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.795247Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a06cdae218afb7a8b95fbc634699b812b158767d717f36ec53bdd5251017ffe6","observation_id":"4c8d9942-f1c8-46db-8164-d3d8e14582c8","resolution":{"observed_at":"2026-08-11T04:43:56.485834Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.475548Z","title":"Chotisarn, L","venue":null,"work_id":"d706e740-e283-4641-a6f8-8a59f85077d8","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.797734Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:16d81e7c8ac58bfa2e077b29168aebc818874f6e4691a04f64d181046aea90c8","observation_id":"53a215da-faae-4dcb-9371-af92f41daa4d","resolution":{"observed_at":"2026-08-11T04:43:56.478424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.467804Z","title":null,"venue":null,"work_id":"92f61da6-0c35-415b-ae01-0a3aea0b86c4","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.800259Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:9795c3b4cf9ca6816b5a6c5b3a78969004ec0b5e20ab5ea9650964f0cfc08e4f","observation_id":"76e0ce94-fb6e-466e-8554-30de9a14563c","resolution":{"observed_at":"2026-08-11T04:43:56.470533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.459464Z","title":"De Moura and N","venue":null,"work_id":"2c09de01-f2ed-4065-9268-6b4f35ab2979","year":2008},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.802863Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a595d91c188dafbc84d0c9203b6b1b4785bd5107ecbb000bdae2c6fae398b6fe","observation_id":"4363c12c-62ed-4b27-9107-c9d5e2a44636","resolution":{"observed_at":"2026-08-11T04:43:56.462391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.03047","last_updated":"2022-09-26T02:54:09Z","snapshot_observed_at":"2026-08-13T18:33:03.324748Z","submitted_at":"2021-08-06T10:51:50Z","title":"Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization","version":2},"cited_work":{"arxiv_id":"2108.03047","doi":null,"metadata_source":"pith","pith_arxiv_id":"2108.03047","snapshot_observed_at":"2026-08-11T04:43:56.022431Z","title":"Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization","venue":"cs.HC","work_id":"6cdf4587-03e3-4edf-be7c-b086260b319e","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.805775Z"},"links":{"cited_paper":"/paper/2108.03047","citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:c7dc60d7f8be36bb623ff2f0ea4980e2cf42e482d8effda99b7fafb0d391be2d","observation_id":"07788646-4d8c-496c-8502-7e0380307f7e","resolution":{"observed_at":"2026-08-11T04:43:56.025245Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.451822Z","title":null,"venue":null,"work_id":"fd27d544-c026-4b3d-9c50-7bfc670a0cfa","year":2007},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.809621Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:81985fea293c275f969ff924dc87d6d78c098e3b2e6c799b78054dcfbd2668af","observation_id":"c2413755-15da-4251-8fbf-3179f8b7443d","resolution":{"observed_at":"2026-08-11T04:43:56.454588Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.443736Z","title":"Durieux, J","venue":null,"work_id":"74c2c061-6b0f-4b2c-acdc-59d2684a15ab","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.812096Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:aa94cf427727b519f4e2bbbe838435ca897095b3e1a4a07c04b23ac8b5675bf2","observation_id":"68d83aff-7a16-4e16-8f86-619fbbc9f347","resolution":{"observed_at":"2026-08-11T04:43:56.446720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.435845Z","title":"Feist and G","venue":null,"work_id":"1ed20b75-96f2-44fb-aa3d-5774142df9ec","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.814452Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:ad449e41ad9811b80b8f601aeb7a17b77272a242549ff2659eaad9356f7d9437","observation_id":"8892e3b6-4ac9-46d5-8de7-2d400ebb2ffc","resolution":{"observed_at":"2026-08-11T04:43:56.438897Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.427906Z","title":"Feist, G","venue":null,"work_id":"5355d167-cf38-4c70-86da-153791f796a9","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.816989Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a29bea1e66ab7d2ddc69950742b96af865bd1996956f3f233469b6df84e9a532","observation_id":"cfba6d04-2337-4a19-9267-3e04325228e5","resolution":{"observed_at":"2026-08-11T04:43:56.430772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.420578Z","title":"Foundation","venue":null,"work_id":"0f75a5cc-6cde-4a8d-b63f-9d9e3a616283","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.819563Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:dacaf590ffaadd9683f22091277318f2fa4cf6381d0aa97466f9a671e7f8062b","observation_id":"b233cd04-f657-4d20-84e9-7cc953980278","resolution":{"observed_at":"2026-08-11T04:43:56.423158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.413619Z","title":"Garfatta, K","venue":null,"work_id":"fb2f1440-d7a9-4b15-a7b8-dd04b3b211a1","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.821901Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:f142e777b98bac3aaa2d837fd7ba3e5cda3063f2f2fc435a2964d18d44bd7f5d","observation_id":"edd87803-23bb-4644-9764-e2f3ea72fd75","resolution":{"observed_at":"2026-08-11T04:43:56.416151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.406888Z","title":"Ghaleb, J","venue":null,"work_id":"17e64791-eb07-45bb-b110-14bf41b29a5d","year":2022},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.824180Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:83810c6c27cfa42238f5fe91d19feb825a875917fb064fab354542fde0deec8c","observation_id":"f924e14a-4ffa-4138-bb4f-dac7982f6ab8","resolution":{"observed_at":"2026-08-11T04:43:56.409270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.399767Z","title":"Grieco, W","venue":null,"work_id":"a269efbb-7096-4bf5-b13a-4ec0da002f7e","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.826636Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:0b579b226873301ce2c1484a80f55e1bb4c0798ca3ab6f2af7a8932b22fc4775","observation_id":"644d791d-7750-458b-82f4-1714ddfd3491","resolution":{"observed_at":"2026-08-11T04:43:56.402289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.392624Z","title":null,"venue":null,"work_id":"a8f5c929-1b9e-4689-8ce9-7eb9fee9e42c","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.828901Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:0206249e5815347e34d1fdc86fdf192078e71408d36651c792df47adef8f957e","observation_id":"1ba245f3-c50e-451f-a17c-e28f7733d3ba","resolution":{"observed_at":"2026-08-11T04:43:56.395239Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.385001Z","title":null,"venue":null,"work_id":"f42362bb-9efc-41d1-a7ea-755348ee08e0","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.831128Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:554a9845efe5c2d8bf014a6393b92ba50ed9f3eb3a93064c141aac2f109fc6bd","observation_id":"cdff99cf-e46d-4c14-a3f3-964262dc2d82","resolution":{"observed_at":"2026-08-11T04:43:56.387576Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.377304Z","title":"Härer and H.-G","venue":null,"work_id":"b1d88fff-b56b-4040-9d44-45d04c92b838","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.833391Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:71a00ffecfd0c193b15dadd92a3ef0465fe98a2e941ab231c07a36e7003b21f1","observation_id":"78b73bd2-cb8a-43f2-8adb-aaa0efc0166c","resolution":{"observed_at":"2026-08-11T04:43:56.380122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.369548Z","title":"Hayatpur, D","venue":null,"work_id":"99a5e48f-ee46-4446-b0b0-c8c429ad9bb2","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.835937Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:c361af869f69967e5308de25870e7d54b699b079f46f4fd704ee2e80ad81a024","observation_id":"50d7ba00-b023-43f4-88c3-5f98fc8cae33","resolution":{"observed_at":"2026-08-11T04:43:56.372405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.361927Z","title":"Huang, Y","venue":null,"work_id":"1dc8857d-a0ef-40e2-9ae7-5d85084baaec","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.838758Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:3793ef3970f1cc76299e1e52818324c9c3c578025e70234513f59490f67d3ab2","observation_id":"a5a6445f-269d-4c1a-8d99-aeee38d9c5bd","resolution":{"observed_at":"2026-08-11T04:43:56.364681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.354258Z","title":null,"venue":null,"work_id":"ce0ea138-4298-4853-b26c-2fe917297cbd","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.841629Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:539c50742deeda84efd32435096d0f9b50cc48fe5ef4bea040e958bc3d166402","observation_id":"967c6a50-98b8-4a35-9572-75be476a369b","resolution":{"observed_at":"2026-08-11T04:43:56.357050Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.346356Z","title":"Jeyakumar, Z","venue":null,"work_id":"c5a22f9b-9099-4337-b8f4-78486ffb5734","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.844433Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:926e3d54cc2edc63ac1a574a8ce4e83f26e34f8cb8eb424de703d8746fcc0f96","observation_id":"403aa6e4-f2b8-43ce-a4df-be29c903846a","resolution":{"observed_at":"2026-08-11T04:43:56.349240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.338384Z","title":"Jiang, Y","venue":null,"work_id":"c367b869-7489-4bd2-8282-90066f32479e","year":null},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.847220Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b94e1727bc9af5673adc7dd089b6620cf6f2d1ed3d864dfd36abd958c415dd41","observation_id":"52ed267c-f00b-4e41-b518-b4f6a570bb64","resolution":{"observed_at":"2026-08-11T04:43:56.341461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.330437Z","title":null,"venue":null,"work_id":"94cd7f33-38b0-410e-a174-b7f5f6202db0","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.850391Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:74cb7f6cfe3d7022729c3839878dd833eaa03d283997a1c5b7c09946ffdea061","observation_id":"8f6ed312-52bf-4b56-9c18-3e89667eba90","resolution":{"observed_at":"2026-08-11T04:43:56.333301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.323515Z","title":null,"venue":null,"work_id":"1d4742a6-538d-47db-aed7-f7fa73ae6a7d","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.853116Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4d9d91c6c7cb99674633178c93014896fcd6c54029c96764b7720a8e7b1da733","observation_id":"29126771-2493-48ed-94de-b505972fd167","resolution":{"observed_at":"2026-08-11T04:43:56.325939Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.316616Z","title":"Krupp and C","venue":null,"work_id":"c9aa23f9-6b98-4881-aeb2-5a3bc52fca06","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.856008Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b9bc22038de6697fcd231d05a9e70868d5a63ab1fe73097c4a5499ee8a9d5f8c","observation_id":"5160ce1a-c0b7-41bb-9fbf-cb08ef1dca61","resolution":{"observed_at":"2026-08-11T04:43:56.318991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.307335Z","title":null,"venue":null,"work_id":"bdf3f870-e222-4c8b-af8b-b9428366f048","year":2022},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.858921Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:32de7f326b84541a22d1943c06bfbe325e42ca45786caf8b1358c6c904cce9bf","observation_id":"3bb030ac-baf9-416c-af7b-7a4df6930180","resolution":{"observed_at":"2026-08-11T04:43:56.311358Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.300243Z","title":null,"venue":null,"work_id":"e8291a6d-c2f7-49ee-aefd-30e0621a84ae","year":1992},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.861796Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:ee19e7c79f2283274d360cb39475ca83ba400da4b9660fb6ea809393d52341f8","observation_id":"5e1bbb42-846b-47a5-b69d-ef4e29f811aa","resolution":{"observed_at":"2026-08-11T04:43:56.302677Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.293093Z","title":null,"venue":null,"work_id":"559712d3-f2b2-4a46-9a8d-14f229e7c2dd","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.864993Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b70ec3c6509e1a56427562bbb255126057f118e0a19e9348bd6898c7c1f53c13","observation_id":"81015c63-c051-4b05-82b1-1b3ad0e26ea8","resolution":{"observed_at":"2026-08-11T04:43:56.295619Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.285292Z","title":"Liang, J","venue":null,"work_id":"735f36c8-6b7e-4378-9a0f-8ced9f439dd8","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.867611Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:fbd5d71741678a2cd5f8962b3f7d6fcb8971a85cf93bc91382303db06df4d5a1","observation_id":"eb4592ca-73bd-4cb6-b112-66c3a3a197a4","resolution":{"observed_at":"2026-08-11T04:43:56.288354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.277300Z","title":null,"venue":null,"work_id":"f34ec7fb-d2f2-4ef1-9ea3-825b8b522b27","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.870209Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:9acd13199ec6e59c5c8b7088626918a940640bb7c030b9dbc0242a862181553b","observation_id":"df25e708-66cc-49a9-90f7-7e5f403d3537","resolution":{"observed_at":"2026-08-11T04:43:56.280074Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.269530Z","title":"Liu and Z","venue":null,"work_id":"4f1f2eca-5e06-4f28-83a1-5695a4fd85b8","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.872848Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a3169ae14f6a2317756cfc0d0a4c9c86d4da4640ea4e9080313c00aa4ce5cdbf","observation_id":"48d091d4-ebeb-4c90-b46a-71666c52544e","resolution":{"observed_at":"2026-08-11T04:43:56.272268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.261554Z","title":null,"venue":null,"work_id":"9154f868-4a89-4e12-a410-251ff201f0cd","year":null},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.875389Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:56b7c2873e2d8d6e660d447eb9bebb488758b4065a9eb96da033072526367244","observation_id":"71077bf2-ca3a-4c50-a88f-57029518e6ed","resolution":{"observed_at":"2026-08-11T04:43:56.264366Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.252915Z","title":null,"venue":null,"work_id":"09ae5277-d8d6-456d-b368-5d9460063ec0","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.878395Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:c794db70b7f0f89a33c27e0d92af23e8d4fbca7d6c36d6ceaf6ac043a3db6677","observation_id":"40c625a8-bb28-4f6c-8455-9dac0706b3e8","resolution":{"observed_at":"2026-08-11T04:43:56.255927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.244491Z","title":"Luu, D.-H","venue":null,"work_id":"21f91980-24fe-4ccd-b821-c9abe9209570","year":2016},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.881351Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:454dc812551c6100b4e79165463b64d8cd1e80ce0337e27f7a29c279f57c2501","observation_id":"c44e0c03-799c-4bfe-8ec3-ca79e26ef779","resolution":{"observed_at":"2026-08-11T04:43:56.247545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.236351Z","title":null,"venue":null,"work_id":"9277b264-1343-456a-bc4b-8dc6c5a3b269","year":null},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.884188Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:8bee399113c6dc74dc919c1bcc26ead9bfdd9cafd760a81e8d02737cd367bce4","observation_id":"995c6107-a5f2-4855-9324-57606a698c52","resolution":{"observed_at":"2026-08-11T04:43:56.239189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.228335Z","title":"Murray and D","venue":null,"work_id":"68b5dbc7-de31-4a68-b4f9-5faa1536ba8c","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.887198Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:acea8adecf82bd142353d7df83b9662000ca3b6d9359281e06e28b6bbbd752b8","observation_id":"2adc966b-6f15-4d69-87f7-0ea07421118a","resolution":{"observed_at":"2026-08-11T04:43:56.230950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.220424Z","title":null,"venue":null,"work_id":"6d2011e2-6189-458a-8101-9a9fc052d093","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.890157Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:2a8b3ea55a0b4c845dc7d1da2cfc5708dea76ee3599dd2a2a0a34c72f4ff47c0","observation_id":"0648ab00-1e90-4db0-b627-ec835fe39169","resolution":{"observed_at":"2026-08-11T04:43:56.223015Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.211474Z","title":"Norvill, B","venue":null,"work_id":"d34e9f02-adbc-40cd-9916-d6734980c600","year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.892996Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:9f2f5a9d35a3f2a846b27e3acde5b6818b546340e04c1e337d04346dcd41574e","observation_id":"ae704969-d7d3-40a4-806d-af09858b5d85","resolution":{"observed_at":"2026-08-11T04:43:56.214610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.203724Z","title":null,"venue":null,"work_id":"5f9dc3a2-0861-42f5-b9e0-1d2a49bd511b","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.895756Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:303f797680df79616354ee65e64f46f90406c66a44ba22c522fb22498990db8d","observation_id":"deec7204-d014-405b-bb38-177181c3a855","resolution":{"observed_at":"2026-08-11T04:43:56.206283Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.196045Z","title":null,"venue":null,"work_id":"a6ad8b2a-2dc3-4b4f-949d-a0cf249bf6fd","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.898120Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:397277eb0aaa0066f59385ca28306fca0e4f06191d4831295d96d38a4b309a0f","observation_id":"5d8b54a6-50d2-405c-9c43-95e9e4cff0bf","resolution":{"observed_at":"2026-08-11T04:43:56.198736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.04512","last_updated":"2023-12-10T03:37:34Z","snapshot_observed_at":"2026-08-13T07:13:13.529998Z","submitted_at":"2023-12-07T18:32:19Z","title":"MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing","version":2},"cited_work":{"arxiv_id":"2312.04512","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.04512","snapshot_observed_at":"2026-08-11T04:43:56.012015Z","title":"MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing","venue":"cs.CR","work_id":"17f28fcc-b1ef-43a3-9cb7-ab974dfd6555","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.900487Z"},"links":{"cited_paper":"/paper/2312.04512","citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4a04a455927527a2dc710d0039a6702899bc254d7f99d8b026ba9a076577ee2a","observation_id":"15d039a8-c25a-4b09-9324-ed0f59bdb877","resolution":{"observed_at":"2026-08-11T04:43:56.015386Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:55.903626Z","title":"Sedlmair, M","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.903626Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:5184bc5e71b6fea869d30127e9fa5a781c77133e23231f9f1cfa1c22318d2ef1","observation_id":"9c53ce40-90cb-4842-824f-fe9bf358cf0a","resolution":{"observed_at":"2026-08-11T04:43:55.903626Z","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-11T04:43:56.184830Z","title":"Skotnica and R","venue":null,"work_id":"fcc862a5-9b03-4c33-9e8a-aad795d5fb29","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.906222Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:806171c07bf2780a24f00b756791b6047a1015f9b17dc799a8014367bb2e3546","observation_id":"e79fa331-f156-42b6-9b8b-003a98804ebe","resolution":{"observed_at":"2026-08-11T04:43:56.187370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02799","last_updated":"2023-10-06T15:22:20Z","snapshot_observed_at":"2026-08-13T05:57:37.520664Z","submitted_at":"2023-10-04T13:18:14Z","title":"Dissecting Smart Contract Languages: A Survey","version":2},"cited_work":{"arxiv_id":"2310.02799","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.02799","snapshot_observed_at":"2026-08-11T04:43:55.999051Z","title":"Dissecting Smart Contract Languages: A Survey","venue":"cs.CR","work_id":"3e80f133-34ef-414c-8e34-f62cdb564a29","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.908606Z"},"links":{"cited_paper":"/paper/2310.02799","citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:261e784e347fb1446cf1090aed0410fa90fb5f23d487f0f7c3083a8de73759e6","observation_id":"ffbe7831-d3c8-4ad7-8f7f-db51306971ba","resolution":{"observed_at":"2026-08-11T04:43:56.004215Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.177650Z","title":null,"venue":null,"work_id":"c50f9624-99f0-45a1-9e64-84787cea780e","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.911679Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:aa721eb1d695ae3c7a3637247010ecd44c78ac425c68e895593a672df9eac629","observation_id":"3e76b942-60c8-429c-88ef-9b84a0d887b9","resolution":{"observed_at":"2026-08-11T04:43:56.180570Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.170858Z","title":"Sundara, I","venue":null,"work_id":"f3bb936d-f51d-4fc5-b5bc-a76f7613f12b","year":2017},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.914051Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:22649866eb9d247eec995960e83e40a29646808c7eea9387a209b6a884b16351","observation_id":"be292708-2646-4860-8deb-0b6e800229c6","resolution":{"observed_at":"2026-08-11T04:43:56.173378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.06632","last_updated":"2019-06-07T06:42:04Z","snapshot_observed_at":"2026-07-06T07:15:05.322404Z","submitted_at":"2018-11-16T00:02:59Z","title":"Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.06632","snapshot_observed_at":"2026-08-11T04:43:55.916379Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.916379Z"},"links":{"cited_paper":"/paper/1811.06632","citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b9dc029c2942781639fa1a73dd0b52b7abd5b18bdd1cdaed9d71374eed43b09d","observation_id":"c5c860ab-60fb-41b8-ab5a-2b0673de7728","resolution":{"observed_at":"2026-08-11T04:43:55.916379Z","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-11T04:43:56.163702Z","title":"Tovanich, N","venue":null,"work_id":"269dfc62-b45a-46ec-91ba-a42f7cd0ae58","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.919436Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:6a7cbe71ad17b87507e89262a40395efe59817f6d6a4d3309c1872a41eee9a42","observation_id":"91580521-3617-443b-91cc-b623dc457314","resolution":{"observed_at":"2026-08-11T04:43:56.166450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.156022Z","title":"Tovanich, N","venue":null,"work_id":"6c83339e-ff5d-4aae-93ac-86819ec26ddd","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.921960Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4f45697ab4ff1e9c0785ea815e1f495f8c32b1887755d10303633a2fe7fa2519","observation_id":"fc6bed76-b27c-44ba-9819-9846acc05317","resolution":{"observed_at":"2026-08-11T04:43:56.158896Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.148804Z","title":"Victor and B","venue":null,"work_id":"b5aa07f4-dc11-4ec0-a3e5-abe024402764","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.924482Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a672adb2b4b351731e314e720103f9eb20d7db6c291121d87bc94886c5c7f19f","observation_id":"7f4e710f-9963-4a1f-855b-81992d393cec","resolution":{"observed_at":"2026-08-11T04:43:56.151674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.141368Z","title":null,"venue":null,"work_id":"fad6c926-db5c-4dd0-b3d2-e709fb4b53d5","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.926917Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:6177c9c20dfed6af8fae7c6653d4bbbbad207c96000653790dcc19fe7fdf7c2e","observation_id":"04c580c0-4ec0-4ef4-bf06-b405b397646c","resolution":{"observed_at":"2026-08-11T04:43:56.144181Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.134312Z","title":null,"venue":null,"work_id":"618c4335-87e5-4b55-99aa-3e12568ed484","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.929242Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4247771aa08626d25ec1f466184b3389ecbfb9564343950d835fe01b1a4d881a","observation_id":"79966dbb-237e-403a-92d3-82ce90bd5c4a","resolution":{"observed_at":"2026-08-11T04:43:56.136987Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.128048Z","title":null,"venue":null,"work_id":"6193c51e-88e5-4b48-a6aa-6ac6dcfcdc56","year":null},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.931491Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:6db28bacde50e865d843b5c995904dff2b64b21913f099942cc5e68ada2381a8","observation_id":"837682b1-c4b9-4ca6-a691-b16a5ccd27e7","resolution":{"observed_at":"2026-08-11T04:43:56.130533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.121771Z","title":null,"venue":null,"work_id":"f685cc47-72aa-418f-add3-e4d76408f0e2","year":null},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.933896Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:018381e5122f61f8adf0d2a33a53664462a6806909af103c4b33040244f621d0","observation_id":"4f458e66-a620-43e5-9c5c-db941d6d468e","resolution":{"observed_at":"2026-08-11T04:43:56.124021Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.115622Z","title":null,"venue":null,"work_id":"e1a6b880-eacf-42fd-a85d-f788cf7f27ac","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.936411Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:a06813ceb7700fe742cd815f9ad45b7e9725fe9ac92ae3ff6d118e9990c66dc1","observation_id":"6e8d6131-443b-42eb-94ad-d4b5953b3bfb","resolution":{"observed_at":"2026-08-11T04:43:56.117848Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.109016Z","title":null,"venue":null,"work_id":"c08b7224-0532-4f5d-b4b5-b0ac665f24ac","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.938992Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:1f54ef69d7d923769547ea158c5355f045bed53d38e3e10962a6978975aae429","observation_id":"0e148d1c-8d91-4b4c-8d1d-830eca2d4567","resolution":{"observed_at":"2026-08-11T04:43:56.111231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.102606Z","title":"Wood et al","venue":null,"work_id":"3b856e6d-c350-4433-95c9-4e04a51493e8","year":2014},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.941775Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:5af0fd2634f89a17760bed322106817885d41a8b26ffe6408b8c1aa0fe602678","observation_id":"f91c6a99-2722-4f26-af51-8a4e01309abc","resolution":{"observed_at":"2026-08-11T04:43:56.104982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.095810Z","title":null,"venue":null,"work_id":"2eb28ff9-2fa6-4df9-9967-6591a3aa282e","year":2022},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.944680Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:3d5bf5dd5a5128a1e4bf04977738e2a139258ad857db7028bb82834af52746a1","observation_id":"c74ad259-4f66-4c48-a948-88fc6353086f","resolution":{"observed_at":"2026-08-11T04:43:56.098550Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.088153Z","title":"Wüstholz and M","venue":null,"work_id":"602f22fa-e57c-4f35-a79a-5f8600ed2d59","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.947441Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:834f4a4a3d42ae6dd6852f3f90692cd797984f83cc44587ff1b377f23c774ef2","observation_id":"e4053842-a919-4380-98bb-cb8d35e8f87e","resolution":{"observed_at":"2026-08-11T04:43:56.090843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.080613Z","title":null,"venue":null,"work_id":"c27e62db-9d0b-4178-b58e-164cbec04d8f","year":2019},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.950266Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:4dfade86bc387bdd70c2faffd99c2bda169c525d7e3effd47de1513b79c4f9bd","observation_id":"bb407f62-f168-4c72-b142-8ef228da2ab6","resolution":{"observed_at":"2026-08-11T04:43:56.083287Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.073335Z","title":null,"venue":null,"work_id":"0e1c6954-0a4c-4859-bb51-25b751197bd7","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.953052Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:792b38f226385f70ed33604664afcb34f663829b3133192a475578d1330cdeb4","observation_id":"c65cec59-432d-4a8b-a551-4d08e5ff82d6","resolution":{"observed_at":"2026-08-11T04:43:56.076084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.065122Z","title":null,"venue":null,"work_id":"68a498c3-2e83-44e2-8e1c-508c3d1169e6","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.956421Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:30b9236a8bc42d2548ebfd599b76d68736a2cab9d631a477df00ad2b02800e01","observation_id":"37dcabd8-ec9a-41f6-9701-81a33fad15a5","resolution":{"observed_at":"2026-08-11T04:43:56.067872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.057749Z","title":null,"venue":null,"work_id":"33eb796a-f260-4173-a9d8-dbf609d2b471","year":2013},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.959028Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:ad2e77ccc1b0e3e3f989c1cc03d9b3b5c5d01cebb9a28dc7bf6343e2cde9fb3c","observation_id":"90e0277a-a167-491b-a47d-91bb80b0231b","resolution":{"observed_at":"2026-08-11T04:43:56.060420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.051227Z","title":"Zheng, L","venue":null,"work_id":"b617621b-c735-4c9a-bfb9-e075e1666f98","year":2021},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.961868Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:b7f33551524540c1f884c9e102b94dfc5524428196636d0d0ff652bcaff512ea","observation_id":"218470ac-544a-449d-ba69-3b8121e428a7","resolution":{"observed_at":"2026-08-11T04:43:56.053473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.044268Z","title":"Zheng, W","venue":null,"work_id":"f12b4680-d31e-4202-adf5-f3c088131b1a","year":2023},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.964739Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:ff7d6ed377220c7633326263c44c77e36b797a6aeb42d555717fee0c3b110fd2","observation_id":"4256ac1f-3dcd-423b-9ba8-82857dc1a02f","resolution":{"observed_at":"2026-08-11T04:43:56.046807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.037619Z","title":"Zheng, S","venue":null,"work_id":"2970ed2f-8a56-4a61-9915-1a557e61b50a","year":2020},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.967558Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:d7b4810a294b632ce978f391e545edb5ea5cac19463460d79d5e29a591d6f83f","observation_id":"fa5e42c9-ea05-47e4-853a-72bb049ef2bf","resolution":{"observed_at":"2026-08-11T04:43:56.040009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T04:43:56.030246Z","title":null,"venue":null,"work_id":"46e1e569-87cb-438f-94a7-f6444751c247","year":2024},"citing_paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T04:43:55.970012Z"},"links":{"citing_paper":"/paper/2412.18484"},"observation_digest":"sha256:d66918e2bab5bfb717e57593c54df7c33ccef9b7c36b8458f8cac4fb16f3dfd1","observation_id":"a28031f6-11bf-4a88-82bc-41ab6c8c9b1f","resolution":{"observed_at":"2026-08-11T04:43:56.032709Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.18484","last_updated":"2024-12-24T15:16:35Z","latest_version":1,"primary_category":"cs.HC","snapshot_observed_at":"2026-08-11T04:39:21.841405Z","submitted_at":"2024-12-24T15:16:35Z","title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation"},"reference_resolution":{"displayed":78,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":3,"verified_fuzzy":39},"total_outbound_references":78},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2412.18484."}