Typeset (AI Chat for scientific PDFs