{"as_of":"2026-08-12T21:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5a54b678aa5cf701eb7f6c31fde599e124d989d589797f953ba57e7c426f8ea2","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-12T06:34:41.77262+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:1ce325c850d75ee278851dcca7a7f40f82afce9b170f87b0e00556b5847f9f5e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:fcff7e37e2e00eed436edf7eeb3aec8be04e7f136d40381a1779f39b6233b83d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:feefc7397bfea542605e04fa92095d873fd00c5a9b0116ea541135106aedae21","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e6048bb8894a8b8b98ffd851fcaba91e735a1ca70d3cf48c39d5f282ff357289","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d91dad1f8bcd11e66c7460a09d75183a956009e7e2f241958c10d8b4b3980eae","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:65c3081190d0e9b819465e06cd71a0987c4fd1c061c6f6d6e22095f3b90c8605","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e3cba77482928e48ba3e8f9713064fb41cc50cdc4db36cba75f3f7a4bdf881dd","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:81e346eddc7fd2adeb429a0cd3e02dc42b90d717e254a182bf541915bcf86dda","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:5fa1f6df46575b77f265016b255a51cb83c46272618c72069ac2395637e73c49","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bd042700cc19fa202f1a6c275a17d2d94e2cdb3b0adfb017668851cbd90b630c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6ac34d32c8dc0bde3ae95f1cbae7f62994b67087d1b3978710d3be8f735f12db","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:317517792adb3e91b5c91d3caf31f088efb611f891b808e14f84077d21788831","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e121d713a77dcdcb1341ec9089e32b4afd3cc6ae92aae9b28c10a6b55bb1f3c6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:21654d5c9fea97bc04ad8e7cd2265370801563879dc128f8bd16331c3f4ef733","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:33b2a5d8b02cf8526da3f281356bd0bc17512257c7f53e22740a0f8ec1603108","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:3dbde6dc3eea1c7a4fbd289166f6f758b6776f8ce9a337782f7aebbf9c640d30","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-06T11:36:07.329120Z","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:39335c77f236a292dc1aada5dbd8639d60519614d87afe2995cc0bd934e5c996","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6dde2dbf0b813409fc599854455eaf8dad1d789dd6823e0cf1f37a38d03f973c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:09108386d70001b69616b122a01aab5d99f1ff045fa534b2e1a1034044d6dc05","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:3688dac64771fe59317de392dbeafe2866dd95d2f31545892c124ade5e91e1af","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:ec1afcab3b2107eae5918ca8dc7161408487b1a6db096e404f563a372d0b7bf0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:11b05ec8699cb859852e8e4bb08550965fd58f06c4d2fb3743e4db8a5fcff0f8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:05a8864e995c0661bacd797104d52e928bd86985629771e94284610aa6a652a4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:837183d950255be8c352783e0f710f0366a0f1901f044479646fd13f16e04089","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:58f79b98fba32f3a034ba133ff50b38c01fbc9657a183c31c52cabe43c1f8b40","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f7d45d46cf1dd906f8acd405d475c37f697c8d78bbc8c3491cc4aab46c6228b9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:62e9274949517616d744dc1be78cd2111047eb58c076ac2410c8da529c42ac6f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4d93fabc8c4761df185e6686e17d2044889de5cc474fc6f336cb72adfa37a82d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:2d10210bf07adadf0e0355b5e11f9df9502b82dfd7ca8ce9deb5ff6f453c85e0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f7f3b8d597c67a74550e544a3944aeb024974a4e00605351da5b00679ea5e272","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:c4770cdab5d605da6b8132edfcedb4833bd11f02826682cbd994ffac119459b9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:13d6f1c0e263c8e9a4888042153d8c2c7e98fa540f4207732b8c8f790ca3f1c8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b3b8ecc5119949f92d116290505b0e213a432d6202b9cb5f8e73a7cb24eb58c0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:887fb2e2667f4fed61c77cf4c6d9361951d7528f89185234eb9cf75a6b66e967","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:141e0d3fc7001d082c81173e855583c0e80319ab474db765f6d45626e0803573","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4b8ee38a955d09a5bd254b0ab5a7aa0760629ec4d903baa26e3c13bf43c9fd21","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:691ca38554d382be3d9fc52577f90e5a484ff01a7c58015c9dab4fa5dd5c2a38","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:8603bbf0e1c3563e1d0e083b8240ba382b2a8ead81b945f523a45644d8c05d64","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:534dc2a5ff006a5a3b2ed2e9c0485a5a51bc9b094a20d5f2039307896347955f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:89cf47f82d76ab42b8f4aafb52eb66cc00b68a3b44bfe90c0f69866a330bac07","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f98aa56eeb36ba9a7de5795e327a90d042edd2263b62bbfbdb7bca06975fd043","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1782c46c08d2d5a757c2af846f5480215988f5caae012ad323a557aeee7e1cba","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:999417029da61af2fce2378fc4724c4368c6974b34acde2bdaebe4a2c5acb6b5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6244471709f61922debb29f87dbd5cb3c66309fc6a3eef0a5af4136066333a78","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:43e0bc434a6535b1a8774ed1e74b4ae371d5cf21e1fa896ac1f845160dafbf29","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cc1af10a3ef89ea4f3df05542f85f121e2591a6dbb519fd23f64c436b820fc7e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bd50eb1cfed968fb8c0745a49945d436f50fcbbfbea0ca1264a7ee37832dbc00","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:838a13343477d85adaf60b0ce2e9fe116d11285245cad1c5741ff8ec646d4cd3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d53ba194268b322b23f62fd0159d4020285d42d4545a0dbca2e4b6ca5375250b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:69a3cd3f3cad317b3ccfa4b21aa2b1c603d652bd1faf592bf57c40af06f7543a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:a218977df7344af29db28f72ebc1cdc1fbf3859c2b6f8d04c19965e046aa4cc5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T02:51:28.046569Z","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:0cfa0f8a13e1b8be1aee8a53961078b8936d608abb12944daaeb8485d821f979","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:a6e7e39089d1927f6713afd2ed73e4a5e3e8319c5581ac12e2bf74be5e763bcb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T01:14:24.218421Z","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:edda2fd1f55f2af54c86df1470733b33a3a6d2a3273d7fa825f083b80784c12d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cb41391fd91f1b601c9507d86760b912aad774521831723ab773f87de25d6c72","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d1033fb26423263ffffc0ba23ed0f636ab39caaf2cc4d667bf3ddfdb4928f1d2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:13e70da9fa7a017ed80e135b81b6d82055545f2ccdb472c714474238580da294","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:338d16f5858b4dd22e63f90dd5137f01b3f9d01ba771fe48aa69ed519f453b1d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:36b0e417f46c3a0f686c640bf04cca4ddd2d568ee07dc826548ef6bc63096fe9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4ef2826f3d7b4eaea6d9e9314bd94935926cec3b65fac1e554abbf6a397c1c7a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:909f178bbf77da9fb4db7b1720bb101c9b41ae69ec223211c691ae1676bb9504","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4ad4887a7bdd7be55395eaa15848d88371ed16cf8f2a9f24fdc59f499bad3fce","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:2ee0b791470ea7906004da304dd3f2e8f797c66f871741b73a59c340d013fd52","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:ada057e8e8fb8c08949226118eeb3ac7c2970f8cd2483cbbb060a5f52ef709a4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d68eeb94c7609c4a8cafe49adbf0167669fdb15023891539f164d8b4cf270e19","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:18ccb00f036cd7a54211de09ea5f15d468ee4bd227a9166f94887a0a6c58ce13","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:897c6b5dfb5c5ad30318b24d5035103ce73f9945130f7c59f5d4ccceb36215e7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:aa38e11017d6711ae24de5276fe2f60ca2699ec82a9f760839887b858787ea85","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b898b76184ae348bb7ff0d6fecd8ea501dd00bfe3a41fdcb6c79e920aed088fc","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:dae3ecaaf93da59dd35de2fa022f7c6c06a4b9292dc2b4f581bfe999fdde7afe","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b7f2ab4e8bc142650f1b2580fa251746f3e448e0c34532ab288980e95dc25667","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:8c44dbaf61b965c18c9e90ea97ebfcce1e37cd193de0e567bf47645a03509302","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f9d41b1cbffbdde2d88484bc44a52e28295ca46ba966bed263fb935c08931d9c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f7e724f23bd0675396861e11674a99079cc31048f5636c16269dd0aa6d003f87","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19a094a25399eb8dbd2453126043dde9be631a0875c91196731b683292a07a52","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b63650a8a6b3c024f5be90c97b8aada26a332895b3646ac3c8f369c6df6f57e7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2412.18484."}