Apple Workshop on Natural Language and Interactive Systems 2025: Opening Up the Full Language Model Pipeline: OLMo and Tülu
AuthorsHanna Hajishirzi (University of Washington)
Apple Workshop on Natural Language and Interactive Systems 2025: Opening Up the Full Language Model Pipeline: OLMo and Tülu
AuthorsHanna Hajishirzi (University of Washington)
Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification
July 16, 2026research area Methods and Algorithms
A property of functions is called location-invariant (or symmetric) if it can be characterized in terms of the frequencies in which each value occurs in the function, regardless of the locations in which each value occurs. It is known that the (query) complexity of testing location-invariant properties of functions is closely related to the (sample) complexity of testing the (corresponding properties of the) corresponding distributions. The main…
Interactive Proofs for General Distribution Properties
July 16, 2026research area Methods and Algorithmsconference FOCS
Suppose Alice has collected a small number of samples from an unknown distribution, and would like to learn about the distribution. Bob, an untrusted data analyst, claims to have run a sophisticated data analysis on the distribution and makes assertions about its properties. When and how is it possible for Alice to efficiently verify Bob’s claims (using fewer resources than would be needed to run the analysis herself)? We construct interactive…