1 citations · 1 across the 8 of their papers we have counts for
4 papers · 1 filter
Imitation Holds a Key to Evolution: Localized Repair and Verified Skill Acquisition for Adaptive Agents
Kai Hu, Hua Huang
An agent can retain successful trajectories without learning which part of an experience should repair a new discrepancy. We formulate passive imitation (PI) as an architectural lo…
Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
Can Li, Ting Zhang, Junbo Zhao +1
Geometry Problem Solving have increasingly adopt the neuro-symbolic paradigm, combining neural intuition with symbolic rigor. However, current frameworks suffer from severe bottlen…
Non-Parametric Structural Priors for Geometry Theorem Prediction
Junbo Zhao, Ting Zhang, Can Li +3
Multi-step theorem prediction is a central challenge in geometry problem solving. Existing neural-symbolic approaches rely heavily on supervised parametric models, which exhibit li…
SMART: Self-Generating and Self-Validating Multi-Dimensional Assessment for LLMs' Mathematical Problem Solving
Yujie Hou, Mei Wang, Yaoyao Zhong +3
Large Language Models (LLMs) have achieved remarkable performance across a wide range of mathematical benchmarks. However, concerns remain as to whether these successes reflect gen…