#llm-translation News & Analysis

3 articles tagged with #llm-translation. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

3 articles

AIBullisharXiv – CS AI · Apr 147/10

🧠

From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python

Researchers demonstrate a methodology for translating a large production Rust codebase (648K LOC) into Python using LLM assistance, guided by benchmark performance as an objective function. The Python port of Codex CLI, an AI coding agent, achieves near-parity performance on real-world tasks while reducing code size by 15.9x and enabling 30 new features absent from the original Rust implementation.

AINeutralarXiv – CS AI · Apr 146/10

🧠

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline

VeriTrans is a machine learning system that converts natural language requirements into formal logic suitable for automated solvers, using a validator-gated pipeline to ensure reliability. Achieving 94.46% correctness on 2,100 specifications, the system combines fine-tuned language models with round-trip verification and deterministic execution, enabling auditable translation for critical applications.

$PL$NL$CNF

AINeutralarXiv – CS AI · Apr 106/10

🧠

Evaluating In-Context Translation with Synchronous Context-Free Grammar Transduction

Researchers evaluated how well large language models can perform formal grammar-based translation tasks using in-context learning, finding that LLM translation accuracy degrades significantly with grammar complexity and sentence length. The study identifies specific failure modes including vocabulary hallucination and untranslated source words, revealing fundamental limitations in LLMs' ability to apply formal grammatical rules to translation tasks.