Publications
publications by categories in reversed chronological order. * indicates equal contribution.
2024
- Preprint
- Preprint
- PreprintNext-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof GenerationPreprint