Quanbo LIU

bnuhero's activity

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

upvoted 3 papers 15 days ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

Paper • 2606.13473 • Published 20 days ago • 91

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published 21 days ago • 17

An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models

Paper • 2606.01462 • Published May 31 • 6

upvoted a paper 4 months ago

NanoKnow: How to Know What Your Language Model Knows

Paper • 2602.20122 • Published Feb 23 • 7

upvoted 2 papers 5 months ago

Entropy Sentinel: Continuous LLM Accuracy Monitoring from Decoding Entropy Traces in STEM

Paper • 2601.09001 • Published Jan 13 • 18

RubricHub: A Comprehensive and Highly Discriminative Rubric Dataset via Automated Coarse-to-Fine Generation

Paper • 2601.08430 • Published Jan 13 • 62

upvoted 7 papers 6 months ago

Confidence Estimation for LLMs in Multi-turn Interactions

Paper • 2601.02179 • Published Jan 5 • 17

Diversity or Precision? A Deep Dive into Next Token Prediction

Paper • 2512.22955 • Published Dec 28, 2025 • 10

Nested Learning: The Illusion of Deep Learning Architectures

Paper • 2512.24695 • Published Dec 31, 2025 • 46

AI Meets Brain: Memory Systems from Cognitive Neuroscience to Autonomous Agents

Paper • 2512.23343 • Published Dec 29, 2025 • 30

Schoenfeld's Anatomy of Mathematical Reasoning by Language Models

Paper • 2512.19995 • Published Dec 23, 2025 • 16

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published Dec 19, 2025 • 53

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives

Paper • 2512.12620 • Published Dec 14, 2025 • 4

upvoted 6 papers 7 months ago

State over Tokens: Characterizing the Role of Reasoning Tokens

Paper • 2512.12777 • Published Dec 14, 2025 • 5

Rethinking Expert Trajectory Utilization in LLM Post-training

Paper • 2512.11470 • Published Dec 12, 2025 • 10

QwenLong-L1.5: Post-Training Recipe for Long-Context Reasoning and Memory Management

Paper • 2512.12967 • Published Dec 15, 2025 • 113

Memory in the Age of AI Agents

Paper • 2512.13564 • Published Dec 15, 2025 • 160

Interpretable Embeddings with Sparse Autoencoders: A Data Analysis Toolkit

Paper • 2512.10092 • Published Dec 10, 2025 • 3

On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models

Paper • 2512.07783 • Published Dec 8, 2025 • 40

upvoted a paper 8 months ago

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

Paper • 2511.03108 • Published Nov 5, 2025 • 4