conftrace_

neural-symbolic synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hierarchical auto-tuning (1) program transformation (1) tensor program (1) code generation (1)

Papers

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach OSDI 2025