ProofFlow introduces a novel DAG-based framework for faithful proof autoformalization, achieving a ProofScore of 0.545 by prioritizing structural fidelity an...
Level: advanced
By Unknown
Category: research