← authors · overview

• LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
  2023 · 6 citations
• HeadInfer: Memory-Efficient LLM Inference by Head-wise Offloading
  2025
• Voyager: An Open-Ended Embodied Agent with Large Language Models
  2023
• Eureka: Human-Level Reward Design via Coding Large Language Models
  2023
• GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
  2024