Constructing Pareto Frontiers of Optimal Reasoning Termination Methods for Overthinking in Reasoning Models · Bharat Hunt