3 papers
math.NT2025
An Effective Method for Solving a Class of Transcendental Diophantine Equations
Zeyu Cai
This paper investigates the exponential Diophantine equation of the form , where are given positive integers with , and are positive integer u…
physics.comp-ph2025
Iterated Agent for Symbolic Regression
Zhuo-Yang Song, Zeyu Cai, Shutao Zhang +8
Symbolic regression (SR), the automated discovery of mathematical expressions from data, is a cornerstone of scientific inquiry. However, it is often hindered by the combinatorial…
cs.CL2025
PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language Models
Shi Qiu, Shaoyang Guo, Zhuo-Yang Song +51
Current benchmarks for evaluating the reasoning capabilities of Large Language Models (LLMs) face significant limitations: task oversimplification, data contamination, and flawed e…