Qi Liu

purewhite42's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset 6 days ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 2.6k • 129

upvoted 3 papers about 1 month ago

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

Paper • 2502.19414 • Published Feb 26 • 20

Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning

Paper • 2502.14768 • Published Feb 20 • 48

OmniAlign-V: Towards Enhanced Alignment of MLLMs with Human Preference

Paper • 2502.18411 • Published Feb 25 • 72

updated 10 models about 1 month ago

purewhite42/dependency_retriever_f_if

Sentence Similarity • Updated Feb 26 • 19

purewhite42/dependency_retriever_f

Sentence Similarity • Updated Feb 26 • 108

purewhite42/bm25_f

Sentence Similarity • Updated Feb 26

purewhite42/bm25_f_if

Sentence Similarity • Updated Feb 26

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated Feb 26 • 13

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated Feb 26 • 190

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated Feb 26 • 19

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated Feb 26 • 17

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated Feb 26 • 18

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated Feb 26 • 67

updated a collection about 1 month ago

Rethinking Autoformalization

Collection

Models for "Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach" • 10 items • Updated Feb 26