paper-with-me

홈 › Papers

Evolutionary System 2 Reasoning: An Empirical Proof

2025-12-05 · Zeyuan Ma, Wenqi Huang, Guo-Huan Song, Hongshu Guo, Sijie Ma, Zhiguang Cao, Yue-Jiao Gong arxiv

Machine intelligence marks the ultimate dream of making machines' intelligence comparable to human beings. While recent progress in Large Language Models (LLMs) show substantial specific skills for a wide array of downstream tasks, they more or less fall shorts in general intelligence. Following correlation between intelligence and system 2 reasoning (slow thinking), in this paper, we aim to answering a worthwhile research question: could machine intelligence such as LLMs be evolved to acquire reasoning ability (not specific skill) just like our human beings? To this end, we propose evolutionary reasoning optimization (ERO) framework which performs survival of the fittest over a population of LLMs to search for individual with strong reasoning ability. Given a reasoning task, ERO first initializes multiple LLMs as a population, after which an evolutionary strategy evolves the population to maximize quantified reasoning score of the best individual. Based on experiments on representative testsuites, we claim two surprising empirical discoveries: i) the latest LLMs such as GPT-5 still show limited system 2 reasoning ability; ii) with simple evolution-loop of ERO, a relatively weak model (Qwen-7B) could be enhanced to emerge powerful reasoning ability. Our project can be accessed at https://github.com/MetaEvo/ERO for reproduction needs.

📄 PDF Abstract BibTeX arXiv:2512.05760

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Mathematical exploration and discovery at scale

2025-11-03 · Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, Adam Zsolt Wagner arxiv

AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refin…

Towards Evolutionary Theorem Proving for Isabelle/HOL

2019-04-17 · Yutaka Nagashima

Mechanized theorem proving is becoming the basis of reliable systems programming and rigorous mathematics. Despite decades of progress in proof automation, writing mechanized proofs still requires engineers' expertise an…

Automated Theorem Proving

Constructing a Neuro-Symbolic Mathematician from First Principles

2025-12-31 · Keqin Xie arxiv

Large Language Models (LLMs) exhibit persistent logical failures in complex reasoning due to the lack of an internal axiomatic framework. We propose Mathesis, a neuro-symbolic architecture that encodes mathematical state…

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability

2025-01-29 · Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Due to the wide employment of automated reasoning in the analysis and construction of correct systems, the results reported by automated reasoning engines must be trustworthy. For Boolean satisfiability (SAT) solvers - a…

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

2016-02-24 · Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-ping Chen

Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior. Based on the BHK interpretation and the Curry-Howard…

Evolutionary AlgorithmsSentence