purewhite42/dependency_retriever_f_if
Sentence Similarity • 0.6B • Updated
• 3
Rethinking Autoformalization
Models for "Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach"
-
-
purewhite42/dependency_retriever_f
Sentence Similarity • 0.6B • Updated • 4 -
purewhite42/bm25_f_if
Sentence Similarity • Updated -
purewhite42/bm25_f
Sentence Similarity • Updated -
purewhite42/rautoformalizer_nora_internlm
Text Generation • Updated -
purewhite42/rautoformalizer_ra_internlm
Text Generation • Updated • 1 -
purewhite42/rautoformalizer_gtra_internlm
Text Generation • Updated -
purewhite42/rautoformalizer_nora_deepseek
Text Generation • Updated • 1 -
purewhite42/rautoformalizer_ra_deepseek
Text Generation • Updated • 2 -
purewhite42/rautoformalizer_gtra_deepseek
Text Generation • Updated • 2