conftrace_

functional equivalence

7 papers

Explore in graph

Co-occurring keywords

large language model (13587) code transpilation (3) verified lifting (1) domain-specific language (29) parameter space (26) physics simulation (129) inference speed (96) parameter-efficient finetuning (59) tensor program optimization (3) program transformation (5)

Papers

Free Lunch in the Forest: Functionally-Identical Pruning of Boosted Tree Ensembles AAAI 2025
What can Large Language Models Capture about Code Functional Equivalence? NAACL 2025
LLM-Supported Natural Language to Bash Translation NAACL 2025
Verified Code Transpilation with LLMs NIPS 2024
Functional Equivalence and Path Connectivity of Reducible Hyperbolic Tangent Networks NIPS 2023
PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021
Mirroring without Overimitation: Learning Functionally Equivalent Manipulation Actions AAAI 2019