@misc{indiciaee02ab7d4fdf7,
  title = {MathConstruct: Challenging LLM Reasoning with Constructive Proofs},
  author = {Mislav Balunović and Jasper Dekoninck and Nikola Jovanović and Ivo Petrov and Martin Vechev},
  year = {2025},
  url = {https://arxiv.org/abs/2502.10197},
  note = {Source identifier: 2502.10197}
}