{"as_of":"2026-08-17T20:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:923181e3523e9660adbe22e7103b5dc36c71a0d0302408f5dad43f22b3efd571","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T14:03:55.241135Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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.12513/citation-record","integrity":"/paper/2412.12513/integrity","json":"/paper/2412.12513/citation-record.json","paper":"/paper/2412.12513"},"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-11T14:03:55.569265Z","title":null,"venue":null,"work_id":"e90b1a4d-ac13-44f4-bab1-02de0cacf4fd","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.139569Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:6b071f7c0fe8fcf201e79417627f85c3b941f8b039a4c273b29835c15d179ba7","observation_id":"6152ceb1-8025-4751-a911-50e53f667759","resolution":{"observed_at":"2026-08-11T14:03:55.573270Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T14:03:55.556255Z","title":null,"venue":null,"work_id":"b67ba728-0146-425d-a75b-0d46a490de2a","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.143782Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:3aac1631c8f9a1b87b779e961c8a10f2d2dd925cd26f67de57b28ec16274a922","observation_id":"93af781d-8aca-4940-8f63-bfd2930e9d60","resolution":{"observed_at":"2026-08-11T14:03:55.560954Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T14:03:55.544278Z","title":null,"venue":null,"work_id":"76ff8147-89b3-496f-9c3f-2e3229c01a10","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.147969Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:7cbeff13b556ab4a312897a7cc8086043ecf37a75b6165fd0a3833b8b6859c09","observation_id":"1c6c59e7-b478-41a0-b241-f5300a36f132","resolution":{"observed_at":"2026-08-11T14:03:55.547877Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T14:03:55.533046Z","title":null,"venue":null,"work_id":"64da5ce1-8cf3-4dcd-8af9-8b208a45424a","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.151716Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:5a8f00ab8e456c453d23fcf789a692f476b75f83b5f33afb7c6051dfffd01b9c","observation_id":"a1701ad4-0ae9-4b5a-8c1b-8b7b36f2a2ae","resolution":{"observed_at":"2026-08-11T14:03:55.537260Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-15T17:40:38.050939Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-11T14:03:55.155809Z","title":"arXiv preprint arXiv:2108.07732 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.155809Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:afead9f7779a7d398fa08e24282537f07f0c6a4b144c0d27c6543b74b1baeccf","observation_id":"796ec210-e33a-4926-abeb-7288dfc43fcc","resolution":{"observed_at":"2026-08-11T14:03:55.155809Z","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-11T14:03:55.522216Z","title":"Libra Assoc p","venue":null,"work_id":"ddfb95e3-b009-48fe-b1ac-167c919882ea","year":2019},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.160577Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:4974c2c66b12d7446198cf812390b2fb9c1bd2a52a233fe595185cb7dfea8010","observation_id":"3819b6fb-b216-41eb-b136-3f9004b22169","resolution":{"observed_at":"2026-08-11T14:03:55.525823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-11T14:03:55.165723Z","title":"arXiv preprint arXiv:2107.03374 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.165723Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:658ebe395df2d51ba3c259e48c9f0c31db098005ce5e63d9cceb87bfe0cdbee3","observation_id":"368144e7-380a-4da8-9ec4-491019dc21d2","resolution":{"observed_at":"2026-08-11T14:03:55.165723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.05128","last_updated":"2023-10-05T09:12:07Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-04-11T10:43:43Z","title":"Teaching Large Language Models to Self-Debug","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.05128","snapshot_observed_at":"2026-08-11T14:03:55.169635Z","title":"arXiv preprint arXiv:2304.05128 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.169635Z"},"links":{"cited_paper":"/paper/2304.05128","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:88fdf4bf9e6af178de5b83f40be04bf2e3a6f9cfe572c4a73084a290f8210842","observation_id":"941d1a2d-adf8-48a9-b516-a30b0c9c4cdf","resolution":{"observed_at":"2026-08-11T14:03:55.169635Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.11514","last_updated":"2025-04-17T17:18:24Z","snapshot_observed_at":"2026-08-16T13:51:33.449591Z","submitted_at":"2024-05-19T10:54:03Z","title":"Towards Translating Real-World Code with LLMs: A Study of Translating to Rust","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.11514","snapshot_observed_at":"2026-08-11T14:03:55.173341Z","title":"arXiv preprint arXiv:2405.11514 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.173341Z"},"links":{"cited_paper":"/paper/2405.11514","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:91eba5b54b736069b8a7f9bf2c97e0afa11ff681303b3fb5b27a995c1ed19933","observation_id":"c22baccb-fc60-4c4e-b492-76e51c3d8c03","resolution":{"observed_at":"2026-08-11T14:03:55.173341Z","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-11T14:03:55.510766Z","title":"In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","venue":null,"work_id":"39b57004-ef95-4e0a-b576-938ab219534e","year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.177840Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:a6ba2a6498faf70ba3a07cbef107c4dce059c19769fd544e5a1400f3a4bb3aa4","observation_id":"07ff4f8e-36f2-4c98-8072-d900222c779b","resolution":{"observed_at":"2026-08-11T14:03:55.514767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T14:03:55.498640Z","title":"ACM Transactions on Software Engineering and Methodology (2023)","venue":null,"work_id":"4caf9a39-8eb0-41fb-96d9-cb1799f825fa","year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.181489Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:e470f1bd3fc69253584fb0e82e131b22639e96ee5387363abb194bdce4a30438","observation_id":"1697fa8b-bf7a-4be9-a8f1-aefbd38ba9a1","resolution":{"observed_at":"2026-08-11T14:03:55.502723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.05202","last_updated":"2024-07-06T22:45:55Z","snapshot_observed_at":"2026-08-16T13:36:30.205067Z","submitted_at":"2024-07-06T22:45:55Z","title":"Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.05202","snapshot_observed_at":"2026-08-11T14:03:55.185413Z","title":"arXiv preprint arXiv:2407.05202 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.185413Z"},"links":{"cited_paper":"/paper/2407.05202","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:df4128ad8058a239cdcf2e5f2a1a76f37c52bcb7b506702c7d2d8c574e85155f","observation_id":"9bfcb3a8-c113-44fa-8200-223140156d9f","resolution":{"observed_at":"2026-08-11T14:03:55.185413Z","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-11T14:03:55.486338Z","title":"In: Proceedings of the 1st ACM International Conference on AI-Powered Software","venue":null,"work_id":"2564b94e-0bb3-4a09-a05c-5db60d228a57","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.189315Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:b6c050c3d4059013245f5ad107e8c87284abaf6265699caee765738cd81ae13e","observation_id":"ccff3e35-7ef0-4728-976b-cb2344d2da99","resolution":{"observed_at":"2026-08-11T14:03:55.490298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.15533","last_updated":"2022-11-20T18:15:30Z","snapshot_observed_at":"2026-08-16T16:14:44.169279Z","submitted_at":"2022-11-20T18:15:30Z","title":"The Stack: 3 TB of permissively licensed source code","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.15533","snapshot_observed_at":"2026-08-11T14:03:55.193482Z","title":"arXiv preprint arXiv:2211.15533 (2022) 11 ConMover: Generating Move Smart Contracts based on Concepts A PREPRINT","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.193482Z"},"links":{"cited_paper":"/paper/2211.15533","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:2570bbc2df7e14a383a077dc2c4a36c5ee006fb3e352dc08662113b5d53a38a4","observation_id":"e20e1630-8a94-4806-9ff7-c87d998ea31f","resolution":{"observed_at":"2026-08-11T14:03:55.193482Z","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-11T14:03:55.474538Z","title":"Science 378(6624), 1092–1097 (2022)","venue":null,"work_id":"4de3903f-4547-4f0d-b00e-ef072e0e6e5d","year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.197686Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:7554bbb86e84344ae3931f1ac78c7b50795b9061c856d543ac771d3ae44863ad","observation_id":"de0ee34c-26a3-4c6e-b506-68bf0ee92270","resolution":{"observed_at":"2026-08-11T14:03:55.478396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.13474","last_updated":"2023-02-27T21:26:48Z","snapshot_observed_at":"2026-08-13T14:36:56.609471Z","submitted_at":"2022-03-25T06:55:15Z","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.13474","snapshot_observed_at":"2026-08-11T14:03:55.201574Z","title":"arXiv preprint arXiv:2203.13474 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.201574Z"},"links":{"cited_paper":"/paper/2203.13474","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:99f03593b5e50530384c84231f732a0ba41a28c63be629bfcbff20c03b1a7414","observation_id":"02be6295-ff16-4956-9763-b0a4623f7028","resolution":{"observed_at":"2026-08-11T14:03:55.201574Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-08-13T04:25:38.282910Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-11T14:03:55.205262Z","title":"arXiv preprint arXiv:2308.12950 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.205262Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:50483515c24a6b7d6f5978364ddb4d71a9d161982106ccd2a0ac13d92f2f6e6d","observation_id":"f826c296-5518-4c9d-b60b-59f76e24a65f","resolution":{"observed_at":"2026-08-11T14:03:55.205262Z","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-11T14:03:55.460007Z","title":"Advances in Neural Information Processing Systems 36 (2024)","venue":null,"work_id":"6886f29c-641a-49f5-8029-a751df231d6a","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.209521Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:b8337bf5de2f2c428064c023a3d7c6962d4f038b0401ac0f38d69d457683e882","observation_id":"8b394a25-02cb-4adc-a28b-9b596f088789","resolution":{"observed_at":"2026-08-11T14:03:55.465523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T14:03:55.447182Z","title":null,"venue":null,"work_id":"cde7252c-7ebc-48df-8ccd-631c46fb2520","year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.213310Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:55839404ca5c2c4060624e327a88ecdd4111d30be1fb77205e3d71bc30c47389","observation_id":"cea61aa3-7790-42dd-95b2-ea60c222d03e","resolution":{"observed_at":"2026-08-11T14:03:55.451277Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.13018","last_updated":"2023-07-24T17:17:13Z","snapshot_observed_at":"2026-08-16T15:13:42.347411Z","submitted_at":"2023-07-24T17:17:13Z","title":"The potential of LLMs for coding with low-resource and domain-specific programming languages","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.13018","snapshot_observed_at":"2026-08-11T14:03:55.216981Z","title":"arXiv preprint arXiv:2307.13018 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.216981Z"},"links":{"cited_paper":"/paper/2307.13018","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:c9353ccf9b90f597fd469c472317b1febf2b0e100cb2f6545e655241c070fc94","observation_id":"1bfa483e-785f-4ef6-aa76-67a740e65de6","resolution":{"observed_at":"2026-08-11T14:03:55.216981Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.00118","last_updated":"2024-10-02T15:22:49Z","snapshot_observed_at":"2026-08-02T16:20:09.773989Z","submitted_at":"2024-07-31T19:13:07Z","title":"Gemma 2: Improving Open Language Models at a Practical Size","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.00118","snapshot_observed_at":"2026-08-11T14:03:55.220935Z","title":"arXiv preprint arXiv:2408.00118 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.220935Z"},"links":{"cited_paper":"/paper/2408.00118","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:c2105f2c186e5348c98b1f90182760b927402a23a5a7928bcc0d9637dc02ac2d","observation_id":"08e68706-bf00-4e1d-9282-d8b8da87649d","resolution":{"observed_at":"2026-08-11T14:03:55.220935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07922","last_updated":"2023-05-20T07:27:15Z","snapshot_observed_at":"2026-08-16T14:19:11.515235Z","submitted_at":"2023-05-13T14:23:07Z","title":"CodeT5+: Open Code Large Language Models for Code Understanding and Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07922","snapshot_observed_at":"2026-08-11T14:03:55.225063Z","title":"arXiv preprint arXiv:2305.07922 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.225063Z"},"links":{"cited_paper":"/paper/2305.07922","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:10e15595327bc50cf289530084a4a70ca8fcfa832f63a7c01b5d196e43fc9505","observation_id":"19856be4-040b-4678-91a7-96eeaad4e5a6","resolution":{"observed_at":"2026-08-11T14:03:55.225063Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T14:03:55.228605Z","title":"Advances in neural information processing systems 35, 24824–24837 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.228605Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:6e3fa42217e4157db60cfacbe85bb15d2985245f431cb546b90c87b1888194c2","observation_id":"7e5c0bca-cf9d-49e3-b6c8-2f7c43392ca9","resolution":{"observed_at":"2026-08-11T14:03:55.228605Z","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-11T14:03:55.426265Z","title":"In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming","venue":null,"work_id":"463eb761-ad63-4cc7-886d-12ce1cfa5baf","year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.231894Z"},"links":{"citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:b01ea3f8ec6ec210b5eb5b1db637471aa56a7a343c063d7f0e0fcd3732bf2b5b","observation_id":"94fe3ad2-df95-40b2-8095-980b3506ec38","resolution":{"observed_at":"2026-08-11T14:03:55.431338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06275","last_updated":"2024-11-19T09:06:33Z","snapshot_observed_at":"2026-08-16T15:01:21.622873Z","submitted_at":"2023-09-12T14:36:23Z","title":"Re-Reading Improves Reasoning in Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.06275","snapshot_observed_at":"2026-08-11T14:03:55.234818Z","title":"arXiv preprint arXiv:2309.06275 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.234818Z"},"links":{"cited_paper":"/paper/2309.06275","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:67e1cb82a360cb9c71fe8dcc0ba73733f5f215c1b0737be99dbd8b6456738d08","observation_id":"ae65b194-101d-4214-890e-066b58f16cf7","resolution":{"observed_at":"2026-08-11T14:03:55.234818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.12561","last_updated":"2023-06-06T00:28:34Z","snapshot_observed_at":"2026-08-16T16:14:03.911318Z","submitted_at":"2022-11-22T20:26:44Z","title":"Retrieval-Augmented Multimodal Language Modeling","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.12561","snapshot_observed_at":"2026-08-11T14:03:55.238130Z","title":"arXiv preprint arXiv:2211.12561 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.238130Z"},"links":{"cited_paper":"/paper/2211.12561","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:618e4a19d2823ff3a2f1201955f78847024f17f8cf520b5acfcfbd785f5e412d","observation_id":"2afe3b23-0fc5-432f-b3c8-46747dcce28b","resolution":{"observed_at":"2026-08-11T14:03:55.238130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17568","last_updated":"2024-07-10T03:52:58Z","snapshot_observed_at":"2026-08-16T15:43:59.626930Z","submitted_at":"2023-03-30T17:34:01Z","title":"CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17568","snapshot_observed_at":"2026-08-11T14:03:55.241135Z","title":"arXiv preprint arXiv:2303.17568 (2023) 12","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T14:03:55.241135Z"},"links":{"cited_paper":"/paper/2303.17568","citing_paper":"/paper/2412.12513"},"observation_digest":"sha256:3834433648bc36b67fc6b392a97994f172147e031b3b75e308dbab5129989cbc","observation_id":"c09743a5-4240-4ed9-8ac7-132fc7c8fc41","resolution":{"observed_at":"2026-08-11T14:03:55.241135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.12513","last_updated":"2024-12-17T04:07:45Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T14:20:06.224852Z","submitted_at":"2024-12-17T04:07:45Z","title":"Generating Move Smart Contracts based on Concepts"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":0,"verified_fuzzy":7},"total_outbound_references":27},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2412.12513."}