Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

A. Lyu

Papers on Lattice

1

Total citations

0

Topics

3

h-index

1

Research focus

Code Generation & Program Synthesis (1)Data Curation & Synthetic Data (1)RLHF & Preference Learning (1)

Frequent co-authors

Kasey Zhang (1)

Papers (1)

Apr 15, 2026

Kasey Zhang +1Apr 15, 2026

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization

Don't reuse your SFT data for GRPO – keeping them separate boosts autoformalization performance by over 10% at no extra cost.

Kasey Zhang, A. Lyu

Code Generation & Program Synthesis Data Curation & Synthetic Data RLHF & Preference Learning