SolMover: https://dl.acm.org/doi/10.1145/3664646.3664771
Abstract
Talk on SolMover, a framework for smart contract code translation based on concepts.
Key points:
- Translating Solidity smart contracts to Move using LLMs
- Concept-based retrieval for low-resource languages
- Planning, coding, and debugging agents in an iterative process
- Substantial accuracy improvements over baseline models
Takeaway: Concept-based translation enables LLMs to generate code in languages they have never seen, bridging the gap for verifiable smart contract languages like Move.
