A new study from researchers at Tsinghua University and Microsoft presents ToRA, a series of novel reasoning agents that achieve remarkable improvements in solving challenging mathematical problems.