From the 1 of 7 linked papers with an AI index.
7 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…
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…
Verifying Large Language Models' Reasoning Paths via Correlation Matrix Rank
Jiayu Liu, Wei Dai, Zhenya Huang +2
Despite the strong reasoning ability of large language models~(LLMs), they are prone to errors and hallucinations. As a result, how to check their outputs effectively and efficient…
Foundation of Intelligence: Review of Math Word Problems from Human Cognition Perspective
Zhenya Huang, Jiayu Liu, Xin Lin +6
Math word problem (MWP) serves as a fundamental research topic in artificial intelligence (AI) dating back to 1960s. This research aims to advance the reasoning abilities of AI by…
What Makes In-context Learning Effective for Mathematical Reasoning: A Theoretical Analysis
Jiayu Liu, Zhenya Huang, Chaokun Wang +3
Owing to the capability of in-context learning, large language models (LLMs) have shown impressive performance across diverse mathematical reasoning benchmarks. However, we find th…
EduNLP: Towards a Unified and Modularized Library for Educational Resources
Zhenya Huang, Yuting Ning, Longhu Qin +8
Educational resource understanding is vital to online learning platforms, which have demonstrated growing applications recently. However, researchers and developers always struggle…