CITATION — REFERENCE ENTRY
stencil-lifting-speedup · li2025stencil
- Citation
- li2025stencil
- Claim ID
- stencil-lifting-speedup
- Assertion
- Stencil-Lifting achieves 31.62× and 5.8× speedups compared to prior verified lifting systems STNG and Dexter respectively, while maintaining full semantic equivalence.
- Quote
Stencil-Lifting achieves 31.62× and 5.8× speedups compared to the state-of-the-art verified lifting systems STNG and Dexter, respectively, while maintaining full semantic equivalence.
- Quote language
- en
- Locator
- section: Abstract
Available in