PDF-type results return only a summary of about 300–700 characters, which contains no problems; Somo treats Nimble as a discoverer: when it encounters short PDF results, it downloads the files and uses pypdf to extract up to 20,000 characters (processing five papers in parallel), then Gemini picks out a problem whose original text appears verbatim and which tests the same concept.