Imagen de Portada

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ibrahimzada, Ali Reza, Ke, Kaiyao, Pawagi, Mrigank, Abid, Muhammad Salman, Pan, Rangeet, Sinha, Saurabh, Jabbarvand, Reyhaneh
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
por: Ke, Kaiyao, et al.
Publicado: (2025)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
por: Ibrahimzada, Ali Reza, et al.
Publicado: (2025)

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
por: Ibrahimzada, Ali Reza, et al.
Publicado: (2026)

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
por: Pan, Rangeet, et al.
Publicado: (2023)

Challenging Bug Prediction and Repair Models with Synthetic Bugs
por: Ibrahimzada, Ali Reza, et al.
Publicado: (2023)

GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements
por: Pawagi, Mrigank, et al.
Publicado: (2023)

Probeable Problems for Beginner-level Programming-with-AI Contests
por: Pawagi, Mrigank, et al.
Publicado: (2024)

Translating Large-Scale C Repositories to Idiomatic Rust
por: Dehghan, Saman, et al.
Publicado: (2025)

A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models
por: Liu, Changshu, et al.
Publicado: (2025)

Program Decomposition and Translation with Static Analysis
por: Ibrahimzada, Ali Reza
Publicado: (2024)

CodeMind: Evaluating Large Language Models for Code Reasoning
por: Liu, Changshu, et al.
Publicado: (2024)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
por: Liu, Changshu, et al.
Publicado: (2025)

A Generic Approach to Fix Test Flakiness in Real-World Projects
por: Chen, Yang, et al.
Publicado: (2024)

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings
por: Liu, Changshu, et al.
Publicado: (2025)

Narrowing the Complexity Gap in the Evaluation of Large Language Models
por: Chen, Yang, et al.
Publicado: (2026)

Otter: Generating Tests from Issues to Validate SWE Patches
por: Ahmed, Toufique, et al.
Publicado: (2025)

SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
por: Chowdhury, Jaid Monwar, et al.
Publicado: (2026)

RepoTransBench: A Real-World Multilingual Benchmark for Repository-Level Code Translation
por: Wang, Yanli, et al.
Publicado: (2024)

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights
por: Krishna, Rahul, et al.
Publicado: (2024)

Neuro-Symbolic Control with Large Language Models for Language-Guided Spatial Tasks
por: Ali, Momina Liaqat, et al.
Publicado: (2025)

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
por: Xie, Zichen, et al.
Publicado: (2026)

Can Old Tests Do New Tricks for Resolving SWE Issues?
por: Chen, Yang, et al.
Publicado: (2025)

LeTI: Learning to Generate from Textual Interactions
por: Wang, Xingyao, et al.
Publicado: (2023)

TDD-Bench Verified: Can LLMs Generate Tests for Issues Before They Get Resolved?
por: Ahmed, Toufique, et al.
Publicado: (2024)

ASTER: Natural and Multi-language Unit Test Generation with LLMs
por: Pan, Rangeet, et al.
Publicado: (2024)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
por: Ou, Guangsheng, et al.
Publicado: (2024)

RepoTransAgent: Multi-Agent LLM Framework for Repository-Aware Code Translation
por: Guan, Ziqi, et al.
Publicado: (2025)

Sakura: An Approach for Generating Complex Tests from Natural Language Test Descriptions
por: Stennett, Tyler, et al.
Publicado: (2026)

Compositional Neuro-Symbolic Reasoning
por: Das, Anugyan, et al.
Publicado: (2026)

NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
por: Cai, Zhixi, et al.
Publicado: (2025)

Evaluating Plan Compliance in Autonomous Programming Agents
por: Liu, Shuyang, et al.
Publicado: (2026)

Hamster: A Large-Scale Study and Characterization of Developer-Written Tests
por: Pan, Rangeet, et al.
Publicado: (2025)

Proof-Carrying Neuro-Symbolic Code
por: Komendantskaya, Ekaterina
Publicado: (2025)

Process-Centric Analysis of Agentic Software Systems
por: Liu, Shuyang, et al.
Publicado: (2025)

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
por: Liu, Xuan, et al.
Publicado: (2026)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
por: Sinha, Sania, et al.
Publicado: (2025)

On the Impacts of Contexts on Repository-Level Code Generation
por: Hai, Nam Le, et al.
Publicado: (2024)

Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
por: Aktas, Hakan, et al.
Publicado: (2024)

SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
por: Zhang, Yifan, et al.
Publicado: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
por: Zhang, Liao, et al.
Publicado: (2026)