SEARCH Articles Figures Tables Factoring with local verifiability Locally verifiable Locally verifiable VERIFY Verifiability