@misc{indiciae3d7fb3746eac,
  title = {Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability},
  author = {Ruida Wang and Yuxin Li and Yi R. Fung and Tong Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2505.23703},
  note = {Source identifier: 2505.23703}
}