works on
applied mathematics 1knowledge retrieval 1reasoning agents 1scientific discovery 1theorem proving 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

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

Yutong He, Daibo Li, Guohong Li +15

ReasFlow is an autonomous multi‑agent system that leverages large language models to perform rigorous mathematical reasoning, retrieve relevant knowledge, and generate complete res…