This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving.
Qi Liu
purewhite42
AI & ML interests
Machine Learning, Theorem Proving
Recent Activity
liked
a model
about 2 months ago
AI-MO/Kimina-Prover-Distill-8B
upvoted
an
article
about 2 months ago
Kimina-Prover-RL
liked
a model
about 2 months ago
Goedel-LM/Goedel-Prover-V2-8B
Organizations
models
10
purewhite42/rautoformalizer_gtra_deepseek
Text Generation
•
Updated
•
3
purewhite42/rautoformalizer_ra_deepseek
Text Generation
•
Updated
•
4
purewhite42/rautoformalizer_nora_deepseek
Text Generation
•
Updated
•
3
purewhite42/rautoformalizer_gtra_internlm
Text Generation
•
Updated
•
3
purewhite42/rautoformalizer_ra_internlm
Text Generation
•
Updated
•
2
purewhite42/rautoformalizer_nora_internlm
Text Generation
•
Updated
•
5
purewhite42/dependency_retriever_f_if
Sentence Similarity
•
0.6B
•
Updated
•
4
purewhite42/dependency_retriever_f
Sentence Similarity
•
0.6B
•
Updated
•
4
purewhite42/bm25_f
Sentence Similarity
•
Updated
purewhite42/bm25_f_if
Sentence Similarity
•
Updated