@misc{indiciaeb70060a0d00f,
  title = {Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases},
  author = {Marcus J. Min and Mike He and Zhaoyu Li and Zixuan Yi and Sharad Malik and Aarti Gupta and Xujie Si and Osbert Bastani},
  year = {2026},
  url = {https://arxiv.org/abs/2607.13292},
  note = {Source identifier: 2607.13292}
}