Source record

Published by arXiv cs.MA (T1 source). The original is at https://arxiv.org/abs/2607.14178.

Pipeline notes

The summary and note below are generated by the signal pipeline — they are Beyond Desk’s reading, not quotations from the source.

ReasFlow is a multi-agent system for theory-driven scientific discovery in applied mathematics. It combines an internal verification loop for logical coherence, automated knowledge retrieval for procedural heuristics, and end-to-end pipeline from literature synthesis to manuscript preparation. Authors deployed it to autonomously generate five complete research papers.

Concrete multi-agent architecture for a harder problem (proof-based math) than typical empirical benchmarks, with code and platform released for replication.

Cited by

No citations on record.