Quanbo LIU

bnuhero's activity

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

upvoted 2 papers 1 day ago

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

Paper • 2512.17260 • Published 7 days ago • 47

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives

Paper • 2512.12620 • Published 11 days ago • 3

upvoted 4 papers 9 days ago

State over Tokens: Characterizing the Role of Reasoning Tokens

Paper • 2512.12777 • Published 11 days ago • 3

Rethinking Expert Trajectory Utilization in LLM Post-training

Paper • 2512.11470 • Published 13 days ago • 7

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

Paper • 2512.12967 • Published 11 days ago • 98

Memory in the Age of AI Agents

Paper • 2512.13564 • Published 10 days ago • 112

upvoted a paper 10 days ago

Interpretable Embeddings with Sparse Autoencoders: A Data Analysis Toolkit

Paper • 2512.10092 • Published 15 days ago • 2

upvoted a paper 14 days ago

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

Paper • 2512.07783 • Published 17 days ago • 35

upvoted 7 papers about 1 month ago

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

Paper • 2511.03108 • Published Nov 5 • 3

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models

Paper • 2511.10899 • Published Nov 14 • 3

MathSE: Improving Multimodal Mathematical Reasoning via Self-Evolving Iterative Reflection and Reward-Guided Fine-Tuning

Paper • 2511.06805 • Published Nov 10 • 12

Reasoning with Confidence: Efficient Verification of LLM Reasoning Steps via Uncertainty Heads

Paper • 2511.06209 • Published Nov 9 • 18

Teaching Pretrained Language Models to Think Deeper with Retrofitted Recurrence

Paper • 2511.07384 • Published Nov 10 • 16

CritiCal: Can Critique Help LLM Uncertainty or Confidence Calibration?

Paper • 2510.24505 • Published Oct 28 • 3

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks

Paper • 2511.04662 • Published Nov 6 • 34

upvoted a paper about 2 months ago

Forget BIT, It is All about TOKEN: Towards Semantic Information Theory for LLMs

Paper • 2511.01202 • Published Nov 3 • 5

upvoted a paper about 1 year ago

HDFlow: Enhancing LLM Complex Problem-Solving with Hybrid Thinking and Dynamic Workflows

Paper • 2409.17433 • Published Sep 25, 2024 • 9