conftrace_

verified lifting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

functional equivalence (1) domain-specific language (1) large language model (1) functional verification (1) code transpilation (1) program synthesis (1)

Papers

Verified Code Transpilation with LLMs NeurIPS 2024