FormaRL: Enhancing Autoformalization with no Labeled Data

26 August 2025

Papers citing "FormaRL: Enhancing Autoformalization with no Labeled Data"

2 / 2 papers shown

Title
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization Rafael Cabral Tuan Manh Do Xuejun Yu Wai Ming Tai Zijin Feng Xin Shen 24 0 0 13 Oct 2025
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Hanyu Wang Ruohan Xie Yutong Wang Guoxiong Gao Xintao Yu B. Dong 44 0 0 06 Oct 2025