Mathematical research agents with shared, structured state for understanding the reasoning process and coordinating exploration.
Mathematical research agents with shared, structured state for understanding the reasoning process and coordinating exploration.