@misc{indiciae92e95a78569f,
  title = {Large Language Model for OWL Proofs},
  author = {Hui Yang and Jiaoyan Chen and Uli Sattler},
  year = {2026},
  url = {https://arxiv.org/abs/2601.12444},
  note = {Source identifier: 2601.12444}
}