Pith. sign in

REVIEW 3 cited by

Leveraging Automated Unit Tests for Unsupervised Code Translation

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2110.06773 v2 pith:3263MCXK submitted 2021-10-13 cs.SE cs.CLcs.LG

classification cs.SEcs.CLcs.LG
keywords translationunsupervisedcodeautomateddatalanguagelanguagesmethods
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

With little to no parallel data available for programming languages, unsupervised methods are well-suited to source code translation. However, the majority of unsupervised machine translation approaches rely on back-translation, a method developed in the context of natural language translation and one that inherently involves training on noisy inputs. Unfortunately, source code is highly sensitive to small changes; a single token can result in compilation failures or erroneous programs, unlike natural languages where small inaccuracies may not change the meaning of a sentence. To address this issue, we propose to leverage an automated unit-testing system to filter out invalid translations, thereby creating a fully tested parallel corpus. We found that fine-tuning an unsupervised model with this filtered data set significantly reduces the noise in the translations so-generated, comfortably outperforming the state-of-the-art for all language pairs studied. In particular, for Java $\to$ Python and Python $\to$ C++ we outperform the best previous methods by more than 16% and 24% respectively, reducing the error rate by more than 35%.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On LLM-Assisted Generation of Smart Contracts from Business Processes

    cs.SE 2025-07 conditional novelty 6.0 of 10

    An open benchmark shows top LLMs generate functionally correct smart contracts from BPMN process models in about 80 to 92 percent of checks, below the reliability needed for blockchain deployment.

  2. LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability

    cs.PL 2025-05 conditional novelty 6.0 of 10

    LEGO-Compiler decomposes C functions into control blocks, translates each block to assembly with a shared symbol table, and reassembles them, reporting over 99% pass rates on ExeBench and near order-of-magnitude scala...

  3. CSR-Bench: Benchmarking LLM Agents in Deployment of Computer Science Research Repositories

    cs.SE 2025-02 conditional novelty 6.0 of 10

    CSR-Bench and CSR-Agents show that LLM agents can complete under half of setup and data-download steps, and between 15 and 29 percent of training, inference, and evaluation steps, on 100 research repositories.

Pith tools