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

Qi Liu, Xinhao Zheng, Xudong Lu, Qinxiang Cao, Junchi Yan

Browse the full ICLR paper archive.