Paper page - ARIS: Autonomous Research via Adversarial Multi-Agent Collaboration
…integrity verification , result-to-claim mapping , and claim auditing that cross-checks manuscript statements against the claim ledger and raw evidence, as well as a five-pass scientific-editing pipeline , mathematical-proof…