Tengyu Ma

Chronological feed of everything captured from Tengyu Ma.

paper / tengyuma / May 25 / failed

Pseudo-Formalization for Automatic Proof Verification

paper / tengyuma / May 13 / failed

Fantastic Pretraining Optimizers and Where to Find Them

paper / tengyuma / May 13 / failed

SAM 3: Segment Anything with Concepts

paper / tengyuma / May 13 / failed

Divide-and-Conquer CoT: RL for Reducing Latency via Parallel Reasoning

paper / tengyuma / May 13 / failed

Configuration-to-Performance Scaling Law with Neural Ansatz