From the 1 of 15 linked papers with an AI index.
15 papers
MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
Junjie Zhang, Jiayu Liu, Wenbin Liu +11
MathCoPilot is an interactive, human‑in‑the‑loop system that lets mathematicians steer AI agents to formalize and verify mathematical proofs in Lean, combining a live proof bluepri…
SocraticPO: Policy Optimization via Interactive Guidance
Zirui Liu, Jie Ouyang, Qi Liu +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…
Deep Thinking by Markov Chain of Continuous Thoughts
Jiayu Liu, Zhenya Huang, Xuan Yang +6
Transformer-based models can perform complicated reasoning by generating reasoning paths token by token. While effective, this approach often requires generating thousands of token…
Survey of Computerized Adaptive Testing: A Machine Learning Perspective
Yan Zhuang, Qi Liu, Haoyang Bi +12
Computerized Adaptive Testing (CAT) offers an efficient and personalized method for assessing examinee proficiency by dynamically adjusting test questions based on individual perfo…
Perception-R1: Advancing Multimodal Reasoning Capabilities of MLLMs via Visual Perception Reward
Tong Xiao, Xin Xu, Zhenya Huang +4
Enhancing the multimodal reasoning capabilities of Multimodal Large Language Models (MLLMs) is a challenging task that has attracted increasing attention in the community. Recently…
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…