@misc{indiciaef27e0d0dfd31,
  title = {From Language to Logic: A Bi-Level Framework for Structured Reasoning},
  author = {Keying Yang and Hao Wang and Kai Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.08501},
  note = {Source identifier: 2507.08501}
}