Open-form mathematical reasoning