conftrace_

code transpilation

3 papers

Explore in graph

Co-occurring keywords

verified lifting (1) functional equivalence (7) domain-specific language (29) software testing (20) deep learning framework (21) contextual embedding (288) deep learning transpilation (1) api keyword mapping (1) few-shot prompting (143) code translation (26)

Papers

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees EMNLP 2025
Verified Code Transpilation with LLMs NIPS 2024
ADELT: Transpilation between Deep Learning Frameworks IJCAI 2024