STAGG combines LLM-generated candidate programs, a learned probabilistic grammar, and enumerative search to lift dense tensor C code into TACO, solving 76 of 77 benchmarks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Guided Tensor Lifting
STAGG combines LLM-generated candidate programs, a learned probabilistic grammar, and enumerative search to lift dense tensor C code into TACO, solving 76 of 77 benchmarks.