ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System

ReasFlow implements a multi-agent architecture designed for theory-driven discovery in applied mathematics through a collaborative human-agent paradigm. The system automates rigorous mathematical derivations and formal proofs by simulating a graduate student researcher role, addressing the limitations of empirical-focused agents in formal reasoning tasks.