Purewhite2019 / rethinking_autoformalizationLinks

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

Alternatives and similar repositories for rethinking_autoformalization

Users that are interested in rethinking_autoformalization are comparing it to the libraries listed below

Sorting: