Luke Bailey

Identifiers

• name variant Luke Bailey 0.60 · backfill

Papers (4)

1. Pseudo-Formalization for Automatic Proof Verification cs.LO · 2026 · author #2
2. Scaling Self-Play with Self-Guidance cs.LG · 2026 · author #1
3. Synthetic Data for any Differentiable Target cs.CL · 2026 · author #4
4. The 2025 AI Agent Index: Documenting Technical and Safety Features of Deployed Agentic AI Systems cs.CY · 2026 · author #4

Mentions

• 2605.20531 #2 · arxiv_oai · confidence 0.70 Luke Bailey

Frequent Coauthors

• Kaiyue Wen 2 shared papers
• Tatsunori Hashimoto 2 shared papers
• Tengyu Ma 2 shared papers
• A. Pinar Ozisik 1 shared papers
• Christopher Potts 1 shared papers
• Herman Brunborg 1 shared papers
• Kefan Dong 1 shared papers
• Kevin Feng 1 shared papers
• Kevin Wei 1 shared papers
• Leon Staufer 1 shared papers
• Marcel Roed 1 shared papers
• Mick Yang 1 shared papers
• Mohammed Abouzaid 1 shared papers
• Neil Band 1 shared papers
• Noam Kolt 1 shared papers
• Slim Barkallah 1 shared papers
• Stephen Casper 1 shared papers
• Sung Min Park 1 shared papers
• Tristan Thrush 1 shared papers
• Yawen Duan 1 shared papers