Yeming Wen

FronTalk: Benchmarking Front-End Development as Conversational Code Generation with Multi-Modal Feedback

Batched Low-Rank Adaptation of Foundation Models

An In-Context Learning Agent for Formal Theorem-Proving

Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models

A Language-Agent Approach to Formal Theorem-Proving

Grounding Code Generation with Input-Output Specifications