Paper Citation Record · LEDGER

Generating Move Smart Contracts based on Concepts

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.12513 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T14:03:55.241135Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

verified exact0
verified fuzzy7
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6152ceb1-8025-4751-a911-50e53f667759 · outbound

This paper cites an unresolved cited work.

Generating Move Smart Contracts based on Concepts Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T14:03:55.573270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 93af781d-8aca-4940-8f63-bfd2930e9d60 · outbound

This paper cites an unresolved cited work.

Generating Move Smart Contracts based on Concepts Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-11T14:03:55.560954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1c6c59e7-b478-41a0-b241-f5300a36f132 · outbound

This paper cites an unresolved cited work.

Generating Move Smart Contracts based on Concepts Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T14:03:55.547877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a1701ad4-0ae9-4b5a-8c1b-8b7b36f2a2ae · outbound

This paper cites an unresolved cited work.

Generating Move Smart Contracts based on Concepts Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-11T14:03:55.537260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 796ec210-e33a-4926-abeb-7288dfc43fcc · outbound

This paper cites Program Synthesis with Large Language Models.

Generating Move Smart Contracts based on Concepts Program Synthesis with Large Language Models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.155809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3819b6fb-b216-41eb-b136-3f9004b22169 · outbound

This paper cites Libra Assoc p.

Generating Move Smart Contracts based on Concepts Libra Assoc p

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.525823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 368144e7-380a-4da8-9ec4-491019dc21d2 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Generating Move Smart Contracts based on Concepts Evaluating Large Language Models Trained on Code

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.165723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 941d1a2d-adf8-48a9-b516-a30b0c9c4cdf · outbound

This paper cites Teaching Large Language Models to Self-Debug.

Generating Move Smart Contracts based on Concepts Teaching Large Language Models to Self-Debug

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.169635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c22baccb-fc60-4c4e-b492-76e51c3d8c03 · outbound

This paper cites Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Generating Move Smart Contracts based on Concepts Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.173341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07ff4f8e-36f2-4c98-8072-d900222c779b · outbound

This paper cites In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.

Generating Move Smart Contracts based on Concepts In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.514767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1697fa8b-bf7a-4be9-a8f1-aefbd38ba9a1 · outbound

This paper cites ACM Transactions on Software Engineering and Methodology (2023).

Generating Move Smart Contracts based on Concepts ACM Transactions on Software Engineering and Methodology (2023)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.502723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9bfcb3a8-c113-44fa-8200-223140156d9f · outbound

This paper cites Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing.

Generating Move Smart Contracts based on Concepts Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.185413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccff3e35-7ef0-4728-976b-cb2344d2da99 · outbound

This paper cites In: Proceedings of the 1st ACM International Conference on AI-Powered Software.

Generating Move Smart Contracts based on Concepts In: Proceedings of the 1st ACM International Conference on AI-Powered Software

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.490298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e20e1630-8a94-4806-9ff7-c87d998ea31f · outbound

This paper cites The Stack: 3 TB of permissively licensed source code.

Generating Move Smart Contracts based on Concepts The Stack: 3 TB of permissively licensed source code

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.193482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de0ee34c-26a3-4c6e-b506-68bf0ee92270 · outbound

This paper cites Science 378(6624), 1092–1097 (2022).

Generating Move Smart Contracts based on Concepts Science 378(6624), 1092–1097 (2022)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.478396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 02be6295-ff16-4956-9763-b0a4623f7028 · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

Generating Move Smart Contracts based on Concepts CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.201574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f826c296-5518-4c9d-b60b-59f76e24a65f · outbound

This paper cites Code Llama: Open Foundation Models for Code.

Generating Move Smart Contracts based on Concepts Code Llama: Open Foundation Models for Code

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.205262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b394a25-02cb-4adc-a28b-9b596f088789 · outbound

This paper cites Advances in Neural Information Processing Systems 36 (2024).

Generating Move Smart Contracts based on Concepts Advances in Neural Information Processing Systems 36 (2024)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.465523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cea61aa3-7790-42dd-95b2-ea60c222d03e · outbound

This paper cites an unresolved cited work.

Generating Move Smart Contracts based on Concepts Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-11T14:03:55.451277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1bfa483e-785f-4ef6-aa76-67a740e65de6 · outbound

This paper cites The potential of LLMs for coding with low-resource and domain-specific programming languages.

Generating Move Smart Contracts based on Concepts The potential of LLMs for coding with low-resource and domain-specific programming languages

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.216981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08e68706-bf00-4e1d-9282-d8b8da87649d · outbound

This paper cites Gemma 2: Improving Open Language Models at a Practical Size.

Generating Move Smart Contracts based on Concepts Gemma 2: Improving Open Language Models at a Practical Size

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.220935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19856be4-040b-4678-91a7-96eeaad4e5a6 · outbound

This paper cites CodeT5+: Open Code Large Language Models for Code Understanding and Generation.

Generating Move Smart Contracts based on Concepts CodeT5+: Open Code Large Language Models for Code Understanding and Generation

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.225063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e5c0bca-cf9d-49e3-b6c8-2f7c43392ca9 · outbound

This paper cites Advances in neural information processing systems 35, 24824–24837 (2022).

Generating Move Smart Contracts based on Concepts Advances in neural information processing systems 35, 24824–24837 (2022)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.228605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94fe3ad2-df95-40b2-8095-980b3506ec38 · outbound

This paper cites In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming.

Generating Move Smart Contracts based on Concepts In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T14:03:55.431338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ae65b194-101d-4214-890e-066b58f16cf7 · outbound

This paper cites Re-Reading Improves Reasoning in Large Language Models.

Generating Move Smart Contracts based on Concepts Re-Reading Improves Reasoning in Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.234818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2afe3b23-0fc5-432f-b3c8-46747dcce28b · outbound

This paper cites Retrieval-Augmented Multimodal Language Modeling.

Generating Move Smart Contracts based on Concepts Retrieval-Augmented Multimodal Language Modeling

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.238130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c09743a5-4240-4ed9-8ac7-132fc7c8fc41 · outbound

This paper cites CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X.

Generating Move Smart Contracts based on Concepts CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T14:03:55.241135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.