Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach

Qi Liu, Xinhao Zheng, Xudong Lu, Qinxiang Cao, Junchi Yan
2/12/2026

No official code found. Best implementation: Purewhite2019/rethinking_autoformalization (31 stars, Apache-2.0, last commit 2025-05-20).

Semantic Scholar

Code Implementations(1)

Purewhite2019/rethinking_autoformalizationCommunity60%
Apache-2.0

[ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach

313Python, Jupyter NotebookFeb 24, 20251 years agoApache-2.0

Cite this paper

@article{liu2026rethinking,
  title  = {Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach},
  author = {Qi Liu and Xinhao Zheng and Xudong Lu and Qinxiang Cao and Junchi Yan},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:d0df8b3a9db0756b8c63e5d0f3c3503c6478c09b},
  journal = {ICLR 2025 2025}
}

Discussion