@misc{indiciae92ddae48d7fc,
  title = {LeanContext: Disentangling Mathematical Resources from Local Formal Context in Lean Whole-Proof Generation},
  author = {Hang Zhang and Qihao Ye and Litong Liu and Yunbei Zhang and Yugyung Lee and Yue Zhou and Bowen Liu and Emily First and Cheng Han and Qiao Zhuang},
  year = {2026},
  url = {https://arxiv.org/abs/2611.08277},
  note = {Source identifier: 2611.08277}
}