7 citations · 23 across the 22 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
Junjie Zhang, Jiayu Liu, Wenbin Liu +11
Existing LLM-based theorem provers have achieved impressive results on formal mathematics benchmarks, yet they remain confined to acting as autonomous agents that prove a stated pr…
cs.LG2026
SocraticPO: Policy Optimization via Interactive Guidance
Zirui Liu, Tingyue Pan, Jie Ouyang +8
Reinforcement learning (RL) for large language models usually supervises reasoning with scalar outcome rewards, such as binary correctness. Such rewards provide an optimization dir…
cs.AI2026
UniCog: Uncovering Cognitive Abilities of LLMs through Latent Mind Space Analysis
Jiayu Liu, Yinhe Long, Zhenya Huang +1
A growing body of research suggests that the cognitive processes of large language models (LLMs) differ fundamentally from those of humans. However, existing interpretability metho…