Evergreen compiles claim verification into declarative semantic queries with optimizations including early stopping, relevance sorting, and semiring provenance, achieving 3.1x-7x cost reduction while preserving or improving F1 on restaurant review and customer support workloads.
Sampling permutations with cell probes is hard
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
CONDITIONAL 2representative citing papers
Robust extractors yield explicit distributions at statistical distance 1-o(1) from the outputs of low-depth circuits, small-space sources, and low-degree F2-polynomial sources.
citing papers explorer
-
Evergreen: Efficient Claim Verification for Semantic Aggregates
Evergreen compiles claim verification into declarative semantic queries with optimizations including early stopping, relevance sorting, and semiring provenance, achieving 3.1x-7x cost reduction while preserving or improving F1 on restaurant review and customer support workloads.
-
Hard-to-Sample Distributions from Robust Extractors
Robust extractors yield explicit distributions at statistical distance 1-o(1) from the outputs of low-depth circuits, small-space sources, and low-degree F2-polynomial sources.