3 citations · 5 across the 10 of their papers we have counts for
6 papers · 1 filter
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…
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…
Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
Tong Xiao, Jiayu Liu, Zhenya Huang +4
Geometry Problem Solving (GPS), which is a classic and challenging math problem, has attracted much attention in recent years. It requires a solver to comprehensively understand bo…
Towards the Identifiability and Explainability for Personalized Learner Modeling: An Inductive Paradigm
Jiatong Li, Qi Liu, Fei Wang +5
Personalized learner modeling using cognitive diagnosis (CD), which aims to model learners' cognitive states by diagnosing learner traits from behavioral data, is a fundamental yet…
Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning
Jiayu Liu, Zhenya Huang, Chengxiang Zhai +1
Mathematical reasoning is one of the crucial abilities of general artificial intelligence, which requires machines to master mathematical logic and knowledge from solving problems.…