About me

Recursive optimization scheme I am interested in designing efficient and exact algorithms for solving intractable combinatorial optimization problems.

My research can be divided into two main parts: general theory and focal theory.

The general theory focuses on the principles of algorithm design, we employ a formal formalism, known as transformational programming,  to design reliable and efficient algorithms. We show that classical combinatorial optimization methods, such as dynamic programming, greedy, branch-and-bound, and divide-and-conquer can all be characterised in the same framework and derived from brute-force algorithms.

The focus theory is centered on developing practical algorithms for solving machine learning problems, particularly those involving finite points and hyperplanes. For example, we have designed exact algorithms to solve classification problems, K-clustering, decision tree optimization, and empirical risk minimization (ERM) for ReLU neural networks. All the algorithms developed within our framework are polynomial-time in the worst case and embarrassingly parallelizable.

Experience

Education

Research

All the papers that are in preparation can be found in the discussion of my (draft) thesis Recursive optimization framework.

Software

You can find the Python implementations of my algorithms from my Git repositories.

Activities

Profile

My name is Xi He, which is the Chinese transcription of “何希”, “Xi” pronounce as “She”, it means “hope” in Chinese.

I enjoy lifting weights, basketball and hiking in my free time. I also write some blogs sometimes.