conftrace_

functional equivalence

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (3) verified lifting (1) domain-specific language (1) parameter space (1) physics simulation (1) inference speed (1) tensor program optimization (1) program transformation (1) operator-level optimization (1) tactile sensing (1)

Papers

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