Zhifeng Chen

Hilbert: Recursively Building Formal Proofs with Informal Reasoning

Adaptive Thinking: Large Language Models Know When to Think in Latent Space

MANZANO: A Simple and Scalable Unified Multimodal Model with a Hybrid Vision Tokenizer

Stylus: Automatic Adapter Selection for Diffusion Models