Improving Autoformalization Using Direct Dependency Retrieval.

Shaoqi Wang, Lu Yu, Siwei Lou, Feng Yan, Chunjie Yang, Qing Cui, Jun Zhou

Browse the full ACL paper archive.