Mathematical Reasoning Based on Neural-Symbolic System

synthetic data generation has emerged as a key solution, though it faces challenges in balancing math reasoning task diversity and data correctness. This project aims to address these challenges by (1) developing methods to generate diverse multimodal math data across various reasoning tasks and (2) improving correctness of generated data through validation framework. This research will contribute to the development of more robust and generalizable AI models for multimodal mathematical reasoning.

For more information about doctoral scholarship and PhD programme at Xi’an Jiaotong-Liverpool University (XJTLU) please visit:

• https://www.xjtlu.edu.cn/en/admissions/doctoral/entry-requirement-phd
• https://www.xjtlu.edu.cn/en/admissions/doctoral/postgraduate-research-scholarships

Supervisors

• Principal supervisor: Professor Qiufeng Wang (XJTLU)
• Co-supervisor: Dr. Xiaobo Jin (XJTLU)
• Co-supervisor: Dr. Meng Fang (UoL)

Requirements

A Master's degree with Merit and a Bachelor's degree with first-class or upper secondclass honors are required for PhD admissions. Exceptional candidates holding only a Bachelor's degree may be considered on an individual basis in certain disciplines.

Evidence of good spoken and written English is essential. The candidate should have an IELTS (or equivalent) score of 6.5 or above, if the first language is not English. This position is open to all qualified candidates irrespective of nationality.

Degree

The student will be awarded a PhD degree from the University of Liverpool (UK) upon successful completion of the program.

Funding

The PhD studentship is available for three years subject to satisfactory progress by the student. The award covers tuition fees for three years (currently equivalent to RMB 99,000 per annum) and provides a monthly stipend of 5,000 RMB as a contribution to living expenses. It also provides up to RMB 16,500 to allow participation at international conferences during the period of the award. It is a condition of the award that holders of XJTLU PhD scholarships carry out 300-500 hours of teaching assistance work per year. The scholarship holders are expected to conduct the majority of their research at XJTLU in Suzhou, China. However, they may apply for a short-term research visit to the University of Liverpool if the project requires it.

How to Apply

Interested applicants are advised to email Qiufeng.Wang@xjtlu.edu.cn the following documents for initial review and assessment (please put the project title in the subject line):

• CV
• Two reference letters with company/university letterhead
• Personal statement outlining your interest in the position
• Proof of English language proficiency (an IELTS score of 6.5 or above)
• Verified school transcripts in both Chinese and English (for international students, only the English version is required)
• Verified certificates of education qualifications in both Chinese and English (for international students, only the English version is required)
• PDF copy of Master Degree dissertation (or an equivalent writing sample) and examiners reports available

Contact

Informal enquiries may be addressed to Professor Qiufeng wang (Qiufeng.Wang@xjtlu.edu.cn), whose personal profile is linked below:

https://scholar.xjtlu.edu.cn/en/persons/QiufengWang/

Where will I study?

Xi’an Jiaotong-Liverpool University

Xi'an Jiaotong-Liverpool University (XJTLU) is an international joint-venture university founded by Xi’an Jiaotong University in China and the University of Liverpool in the UK, which captures the essence of both parent universities, offering students the opportunity to obtain globally recognised UK degree and a unique life experience within China.

Project supervisors

Dr. Qiufeng Wang

Career overview

Qiufeng Wang is a Professor and the Head of the Department of Intelligent Science at the School of Advanced Technology, as well as the Deputy Dean of the Academy of Artificial Intelligence at Xi'an Jiaotong-Liverpool University (XJTLU). They obtained a PhD in Pattern Recognition and Intelligence Systems from the Institute of Automation, Chinese Academy of Sciences (CASIA) in July 2012, where they were awarded the Presidential Scholarship. From 2012 to 2013, they served as an Assistant Professor at the National Laboratory of Pattern Recognition (NLPR) in CASIA. Following this, they worked at Microsoft from 2013 to 2017 before joining XJTLU in February 2017. Their research interests encompass pattern recognition, machine learning, and language modelling, with a particular focus on document analysis and recognition. Qiufeng Wang has published over 70 papers, including in IEEE Transactions on Pattern Analysis and Machine Intelligence (T-PAMI), and authored a book on deep learning published by Springer. Their research has received support from both governmental and industrial sources, including the NSFC young programme, NSFC general programme, and CCF-Tencent.

Research interests

Research Interests: Qiufeng Wang's research interests include pattern recognition, machine learning, and language modeling, with a specific focus on document analysis and recognition. They are also interested in mathematical reasoning and computer vision. Qiufeng Wang has published over 70 papers, including works in IEEE Transactions on Pattern Analysis and Machine Intelligence, and authored a book on deep learning published by Springer. Their research has received support from both government and industry, including the National Natural Science Foundation of China (NSFC) and Tencent.