Jialin Lu

Identifiers

• name variant Jialin Lu 0.60 · backfill

Papers (1)

1. Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search cs.LO · 2026 · author #1

Mentions

• 2605.20244 #1 · arxiv_oai · confidence 0.70 Jialin Lu

Frequent Coauthors

• Kaiyu Yang 1 shared papers
• Rodrigo Stehling 1 shared papers
• Soonho Kong 1 shared papers
• Weiran Sun 1 shared papers
• Wuyang Chen 1 shared papers
• Zhangyang Wang 1 shared papers