Qi Liu's picture

1 40 9

Qi Liu

purewhite42

·

Purewhite2019

AI & ML interests

Machine Learning, Theorem Proving

Recent Activity

liked a dataset about 1 month ago

Jiahao004/DeepTheorem

upvoted a paper about 1 month ago

Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective

upvoted a paper about 2 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

View all activity

Organizations

purewhite42 's models 10

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated May 20 • 4

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20 • 4

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20 • 517

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20 • 4

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20 • 3

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20 • 3

purewhite42/dependency_retriever_f_if

Sentence Similarity • 0.6B • Updated Feb 26 • 12

purewhite42/dependency_retriever_f

Sentence Similarity • 0.6B • Updated Feb 26 • 18

purewhite42/bm25_f

Sentence Similarity • Updated Feb 26

purewhite42/bm25_f_if

Sentence Similarity • Updated Feb 26