1 36 8

Qi Liu

purewhite42

Purewhite2019

AI & ML interests

Machine Learning, Theorem Proving

Recent Activity

upvoted a paper 4 days ago

Qwen3 Technical Report

upvoted a paper 4 days ago

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures

updated a model 4 days ago

purewhite42/rautoformalizer_gtra_deepseek

View all activity

Organizations

purewhite42's activity

upvoted 2 papers 4 days ago

Qwen3 Technical Report

Paper • 2505.09388 • Published 10 days ago • 146

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures

Paper • 2505.09343 • Published 10 days ago • 58

upvoted a paper 16 days ago

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

Paper • 2505.04528 • Published 17 days ago • 11

upvoted a collection 17 days ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated 16 days ago • 3

upvoted a paper 24 days ago

TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving

Paper • 2504.15780 • Published Apr 22 • 5

upvoted a paper about 1 month ago

xVerify: Efficient Answer Verifier for Reasoning Model Evaluations

Paper • 2504.10481 • Published Apr 14 • 84

upvoted a collection about 1 month ago

xVerify

Collection

5 items • Updated Apr 15 • 13

upvoted 3 papers 3 months 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 • 73

upvoted 2 papers 4 months ago

Humanity's Last Exam

Paper • 2501.14249 • Published Jan 24 • 75

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Paper • 2501.12948 • Published Jan 22 • 391

upvoted 3 papers 5 months ago

InternLM-XComposer2.5-OmniLive: A Comprehensive Multimodal System for Long-term Streaming Video and Audio Interactions

Paper • 2412.09596 • Published Dec 12, 2024 • 99

Are Your LLMs Capable of Stable Reasoning?

Paper • 2412.13147 • Published Dec 17, 2024 • 95

ProcessBench: Identifying Process Errors in Mathematical Reasoning

Paper • 2412.06559 • Published Dec 9, 2024 • 83

upvoted a paper 6 months ago

Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering

Paper • 2411.11504 • Published Nov 18, 2024 • 23

upvoted 3 papers 7 months ago

upvoted a paper 9 months ago

WavTokenizer: an Efficient Acoustic Discrete Codec Tokenizer for Audio Language Modeling

Paper • 2408.16532 • Published Aug 29, 2024 • 51