Loading paper
Specification-Driven Code Translation Powered by Large Language Models: How Far Are We? | Tomesphere