CITATION — REFERENCE ENTRY
search-synthesis-limitation · li2025stencil
- Citation
- li2025stencil
- Claim ID
- search-synthesis-limitation
- Assertion
- Search-based verified lifting (as used in STNG and Dexter) can fail to find valid summaries within bounded time; Stencil-Lifting replaces this with a hierarchical recursive algorithm that guarantees termination through a convergent recursive process.
- Quote
its reliance on search-based strategies means that valid summaries may not always be found within a bounded time
- Quote language
- en
- Locator
- section: Abstract
Available in