@inproceedings{min2026theorylevel,
  title         = {Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases},
  author        = {Min, Marcus J. and He, Mike and Li, Zhaoyu and Yi, Zixuan and Malik, Sharad and Gupta, Aarti and Si, Xujie and Bastani, Osbert},
  booktitle     = {Proceedings of the 43rd International Conference on Machine Learning (ICML), Position Paper Track},
  year          = {2026},
  eprint        = {2607.13292},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/2607.13292}
}