沙静｜山东科技大学｜学者主页

2026

SocraticPO: Policy Optimization via Interactive Guidance

Zi-Rui Liu, Jie Ouyang, Qi Liu, Xian-Quan Wang, Jiayu Liu, Ting-Yue Pan, Qing-Chuan Li, Jing Sha, Zhen-Ya Huang, Shijin Wang, Enhong Chen

arXiv.org

DOI

2026

Process-Supervised Multi-Step Reasoning with LLMs for Knowledge Tagging

Jing Sha, Haotian Zhang, Jinze Wu, Shucun Wang, Zhen-Hua Ling, Shi-Jin Wang, Si Wei

2026 International Annual Conference on Complex Systems and Intelligent Science (CSIS-IAC)

DOI

2026

Incorporating Cognitive Load and Knowledge Transfer for Multi-Domain Knowledge Tracing

Haotian Zhang, Shucun Wang, Jinze Wu, Liang Ding, Shuo-Chen Liu, Zhen-Ya Huang, Jing Sha, Shi-Jin Wang, Qi Liu

2026

CBEGRec: Learning Path Recommendation via Concept Bundling and Exercise Generation

Haotian Zhang, Jinze Wu, Qi Liu, Rui Lv, Liang Ding, Zhen-Ya Huang, Jing Sha, Shi-Jin Wang

Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2

DOI

2025

Enhancing Chain-of-Thought Reasoning via Neuron Activation Differential Analysis

Yiru Tang, Kun Zhou, Ying-Qian Min, Wayne Xin Zhao, Jing Sha, Zhichao Sheng, Shijin Wang

Conference on Empirical Methods in Natural Language Processing

DOI

2025

Enhancing Mathematical Reasoning Through Autonomously Learning Knowledge

Jiayu Liu, Zhen-Ya Huang, En-Hong Chen, Qi Liu, Hong-Ke Zhao, Xin Lin, Jing Sha, Shi-Jin Wang

IEEE Transactions on Pattern Analysis and Machine Intelligence

DOI

2025

CogMath: Assessing LLMs' Authentic Mathematical Ability from a Human Cognitive Perspective

Jiayu Liu, Zhen-Ya Huang, Wei Dai, Cheng Cheng, Jinze Wu, Jing Sha, Songlin Li, Qi Liu, Shi-Jin Wang, Enhong Chen

International Conference on Machine Learning

DOI

2025

MMATH: A Multilingual Benchmark for Mathematical Reasoning

Wenyang Luo, W. Zhao, Jing Sha, Shijin Wang, Ji-Rong Wen

Conference on Empirical Methods in Natural Language Processing

DOI

2024

Bit-mask Robust Contrastive Knowledge Distillation for Unsupervised Semantic Hashing

Li-Yang He, Zhen-Ya Huang, Jiayu Liu, Enhong Chen, Fei Wang, Jing Sha, Shi-Jin Wang

The Web Conference

DOI

2024

Item-Difficulty-Aware Learning Path Recommendation: From a Real Walking Perspective

Haotian Zhang, Shuanghong Shen, Bihan Xu, Zhen-Ya Huang, Jinze Wu, Jing Sha, Shi-Jin Wang

Knowledge Discovery and Data Mining

DOI

2024

Graph-based Student Knowledge Profile for Online Intelligent Education

Jinze Wu, Haotian Zhang, Zhen-Ya Huang, Liang Ding, Qi Liu, Jing Sha, Enhong Chen, Shi-Jin Wang

SDM

DOI

2024

JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models

Kun Zhou, Beichen Zhang, Jiapeng Wang, Zhi-Peng Chen, W. Zhao, Jing Sha, Zhichao Sheng, Shijin Wang, Ji-Rong Wen

Neural Information Processing Systems

DOI

2024

DACO: Towards Application-Driven and Comprehensive Data Analysis via Code Generation

Xue-Qing Wu, Ruichen Zheng, Jing Sha, Te-Lin Wu, Hanyu Zhou, Mohan Tang, Kai-Wei Chang, Nan-Yun Peng, Haoran Huang

Neural Information Processing Systems

DOI

2024

SocraticLM: Exploring Socratic Personalized Teaching with Large Language Models

Jiayu Liu, Zhen-Ya Huang, Tong Xiao, Jing Sha, Jinze Wu, Qi Liu, Shi-Jin Wang, Enhong Chen

Neural Information Processing Systems

DOI

2024

Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process

Tong Xiao, Jia-Yin Liu, Zhen-Ya Huang, Jinze Wu, Jing Sha, Shi-Jin Wang, Enhong Chen

International Joint Conference on Artificial Intelligence

DOI

2024

End-to-End Graph Flattening Method for Large Language Models

Bin Hong, Jinze Wu, Jiayu Liu, Liang Ding, Jing Sha, Kai Zhang, Shijin Wang, Zhen-Ya Huang

2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP)

DOI

2023

Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning

Beichen Zhang, Kun Zhou, Xi-Lin Wei, W. Zhao, Jing Sha, Shijin Wang, Ji-Rong Wen

Neural Information Processing Systems

DOI

2023

Exploiting Non-Interactive Exercises in Cognitive Diagnosis

Fangzhou Yao, Qi Liu, Min Hou, Shi-Wei Tong, Zhen-Ya Huang, En-Hong Chen, Jing Sha, Shi-Jin Wang

International Joint Conference on Artificial Intelligence

DOI

2023

JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving

Xin Zhao, Kun Zhou, Beichen Zhang, Zheng Gong, Zhi-Peng Chen, Yuanhang Zhou, Ji-Rong Wen, Jing Sha, Shijin Wang, Cong Liu, Guoping Hu

Knowledge Discovery and Data Mining

DOI

2022

Continual Pre-training of Language Models for Math Problem Understanding with Syntax-Aware Memory Network

Zheng Gong, Kun Zhou, Xin Zhao, Jing Sha, Shijin Wang, J. Wen

Annual Meeting of the Association for Computational Linguistics

DOI

2022

JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem Understanding

W. Zhao, Kun Zhou, Zheng Gong, Beichen Zhang, Yuanhang Zhou, Jing Sha, Zhigang Chen, Shijin Wang, Cong Liu, Ji-Rong Wen

Knowledge Discovery and Data Mining

DOI

2012

基于标号随机Petri网的GSM性能分析

沙静，杜玉越

《计算机科学》

2011

基于随机良构工作流网的工作流进程性能分析

沙静，庞善臣

《计算机科学》

2011

基于Petri网的GSM/GPRS性能分析

沙静

《软件导刊》

2008

基于代价时间Petri网的合同网模型研究

张广胜，蒋昌俊，沙静，孙萍

《系统仿真学报》

2008

基于UML实时状态图的定量分析

沙静，蒋昌俊

《系统仿真学报》

2008

网格环境下大规模交通仿真及应用研究

张栋良，沙静，蒋昌俊

《系统仿真学报》

DOI

2007

Design of ontology mapping framework and improvement of similarity computation

Zheng Liping, Li Guangyao, Liang Yongquan, Sha Jing

Journal Of Systems Engineering And Electronics，Vol. 180, No. 30

2007

城市仿真技术概述

郑丽萍，李光耀，沙静

《系统仿真学报》

2004

Petri网在传输协议中的应用

王兰芹，沙静，徐颖蕾

《山东科技大学学报(自然科学版)》

2003

虚拟接口体系结构的Petri网模型及分析

沙静，蒋昌俊

《系统仿真学报》

2002

一种新型的面向机群分布式消息传递开放标准

沙静

《山东科技大学学报(自然科学版)》

沙静

精选作品

期刊论文

SocraticPO: Policy Optimization via Interactive Guidance

Process-Supervised Multi-Step Reasoning with LLMs for Knowledge Tagging

Incorporating Cognitive Load and Knowledge Transfer for Multi-Domain Knowledge Tracing

CBEGRec: Learning Path Recommendation via Concept Bundling and Exercise Generation

Enhancing Chain-of-Thought Reasoning via Neuron Activation Differential Analysis

Enhancing Mathematical Reasoning Through Autonomously Learning Knowledge

CogMath: Assessing LLMs' Authentic Mathematical Ability from a Human Cognitive Perspective

MMATH: A Multilingual Benchmark for Mathematical Reasoning

Bit-mask Robust Contrastive Knowledge Distillation for Unsupervised Semantic Hashing

Item-Difficulty-Aware Learning Path Recommendation: From a Real Walking Perspective

Graph-based Student Knowledge Profile for Online Intelligent Education

JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models

DACO: Towards Application-Driven and Comprehensive Data Analysis via Code Generation

SocraticLM: Exploring Socratic Personalized Teaching with Large Language Models

Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process

End-to-End Graph Flattening Method for Large Language Models

Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning

Exploiting Non-Interactive Exercises in Cognitive Diagnosis

JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving

Continual Pre-training of Language Models for Math Problem Understanding with Syntax-Aware Memory Network

JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem Understanding

基于标号随机Petri网的GSM性能分析

基于随机良构工作流网的工作流进程性能分析

基于Petri网的GSM/GPRS性能分析

基于代价时间Petri网的合同网模型研究

基于UML实时状态图的定量分析

网格环境下大规模交通仿真及应用研究

Design of ontology mapping framework and improvement of similarity computation

城市仿真技术概述

Petri网在传输协议中的应用

虚拟接口体系结构的Petri网模型及分析

一种新型的面向机群分布式消息传递开放标准

研究方向