conftrace_

code transpilation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

code translation (1) large language model (1) instruction set architecture (1) few-shot prompt (1) functional verification (1) verified lifting (1) functional equivalence (1) domain-specific language (1) software testing (1) deep learning framework (1)

Papers

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