📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
TypeLLM: LLMs with type-safe generation