Jiajun Shi

According to our database, Jiajun Shi authored at least 35 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

OProver: A Unified Framework for Agentic Formal Theorem Proving.

David Ma, Kaijing Ma, Shawn Guo, Yunfeng Shi, Enduo Zhao, Jiajun Shi, Zhaoxiang Zhang, Gavin Cheung, Jiaheng Liu, Zili Wang

CoRR, May, 2026

CoTJudger: A Graph-Driven Framework for Automatic Evaluation of Chain-of-Thought Efficiency and Redundancy in LRMs.

Siyi Li, Jiajun Shi, Shiwen Ni, Ge Zhang, Shuaimin Li, Shijian Wang, Zhoufutu Wen, Yizhi Li, Hamid Alinejad-Rokny, Jiaheng Liu, Min Yang, Wenhao Huang

CoRR, March, 2026

2025

From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligence.

Jian Yang, Xianglong Liu, Weifeng Lv, Ken Deng, Shawn Guo, Lin Jing, Yizhi Li, Shark Liu, Xianzhen Luo, Yuyu Luo, Changzai Pan, Ensheng Shi, Yingshui Tan, Renshuai Tao, Jiajun Wu, Xianjie Wu, Zhenhe Wu, Daoguang Zan, Chenchen Zhang, Wei Zhang, He Zhu, Terry Yue Zhuo, Kerui Cao, Xianfu Cheng, Jun Dong, Shengjie Fang, Zhiwei Fei, Xiangyuan Guan, Qipeng Guo, Zhiguang Han, Joseph James, Tianqi Luo, Renyuan Li, Yuhang Li, Yiming Liang, Congnan Liu, Jiaheng Liu, Qian Liu, Ruitong Liu, Tyler Loakman, Xiangxin Meng, Chuang Peng, Tianhao Peng, Jiajun Shi, Mingjie Tang, Boyang Wang, Haowen Wang, Yunli Wang, Fanglin Xu, Zihan Xu, Fei Yuan, Ge Zhang, Jiayi Zhang, Xinhao Zhang, Wangchunshu Zhou, Hualei Zhu, King Zhu, Bryan Dai, Aishan Liu, Zhoujun Li, Chenghua Lin, Tianyu Liu, Chao Peng, Kai Shen, Libo Qin, Shuangyong Song, Zizheng Zhan, Jiajun Zhang, Jie Zhang, Zhaoxiang Zhang, Bo Zheng

CoRR, November, 2025

Scaling Latent Reasoning via Looped Language Models.

Rui-Jie Zhu, Zixuan Wang, Kai Hua, Tianyu Zhang, Ziniu Li, Haoran Que, Boyi Wei, Zixin Wen, Fan Yin, He Xing, Lu Li, Jiajun Shi, Kaijing Ma, Shanda Li, Taylor Kergan, Andrew Smith, Xingwei Qu, Mude Hui, Bohong Wu, Qiyang Min, Hongzhi Huang, Xun Zhou, Wei Ye, Jiaheng Liu, Jian Yang, Yunfeng Shi, Chenghua Lin, Enduo Zhao, Tianle Cai, Ge Zhang, Wenhao Huang, Yoshua Bengio, Jason Eshraghian

CoRR, October, 2025

COIG-Writer: A High-Quality Dataset for Chinese Creative Writing with Thought Processes.

Yunwen Li, Shuangshuang Ying, Xingwei Qu, Xin Li, Sheng Jin, Minghao Liu, Zhoufutu Wen, Tianyu Zheng, Xeron Du, Qiguang Chen, Jiajun Shi, Wangchunshu Zhou, Jiazhan Feng, Wanjun Zhong, Libo Qin, Stephen Huang, Wanxiang Che, Chenghua Lin, Eli Zhang

CoRR, October, 2025

VeriGUI: Verifiable Long-Chain GUI Dataset.

Shunyu Liu, Minghao Liu, Huichi Zhou, Zhenyu Cui, Yang Zhou, Yuhao Zhou, Wendong Fan, Ge Zhang, Jiajun Shi, Weihao Xuan, Jiaxing Huang, Shuang Luo, Fang Wu, Heli Qi, Qingcheng Zeng, Ziqi Ren, Jialiang Gao, Jindi Lv, Junjie Wang, Aosong Feng, Heng Zhou, Wangchunshu Zhou, Zhenfei Yin, Wenlong Zhang, Guohao Li, Wenhao Yu, Irene Li, Lei Ma, Lei Bai, Qunshu Lin, Mingli Song, Dacheng Tao

CoRR, August, 2025

P2P: Automated Paper-to-Poster Generation and Fine-Grained Benchmark.

Tao Sun, Enhao Pan, Zhengkai Yang, Kaixin Sui, Jiajun Shi, Xianfu Cheng, Tongliang Li, Wenhao Huang, Ge Zhang, Jian Yang, Zhoujun Li

CoRR, May, 2025

KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation.

Jiajun Shi, Jian Yang, Jiaheng Liu, Xingyuan Bu, Jiangjie Chen, Junting Zhou, Kaijing Ma, Zhoufutu Wen, Bingli Wang, Yancheng He, Liang Song, Hualei Zhu, Shilong Li, Xingjian Wang, Wei Zhang, Ruibin Yuan, Yifan Yao, Wenjun Yang, Yunli Wang, Siyuan Fang, Siyu Yuan, Qianyu He, Xiangru Tang, Yingshui Tan, Wangchunshu Zhou, Zhaoxiang Zhang, Zhoujun Li, Wenhao Huang, Ge Zhang

CoRR, May, 2025

CryptoX : Compositional Reasoning Evaluation of Large Language Models.

Jiajun Shi, Chaoren Wei, Liqun Yang, Zekun Moore Wang, Chenghao Yang, Ge Zhang, Stephen Huang, Tao Peng, Jian Yang, Zhoufutu Wen

CoRR, February, 2025

KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation.

Jiajun Shi, Jian Yang, Jiaheng Liu, Xingyuan Bu, Jiangjie Chen, Junting Zhou, Kaijing Ma, Zhoufutu Wen, Bingli Wang, Yancheng He, Liang Song, Hualei Zhu, Shilong Li, Xingjian Wang, Wei Zhang, Ruibin Yuan, Yifan Yao, Wenjun Yang, Yunli Wang, Siyuan Fang, Siyu Yuan, Qianyu He, Robert Tang, Yingshui Tan, Wangchunshu Zhou, Zhao-Xiang Zhang, Zhoujun Li, Wenhao Huang, Ge Zhang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

MdEval: Massively Multilingual Code Debugging.

Shukai Liu, Linzheng Chai, Jian Yang, Jiajun Shi, He Zhu, Liran Wang, Ke Jin, Wei Zhang, Hualei Zhu, Shuyue Guo, Tao Sun, Jiaheng Liu, Yunlong Duan, Yu Hao, Liqun Yang, Guanglin Niu, Ge Zhang, Zhoujun Li

CoRR, 2024

BSDiff: Low-Light Image Enhancement Via Blueprint Separable Convolution and Wavelet-Diffusion Model.

Jiajun Shi, Qingbing Sang

Proceedings of the Pattern Recognition and Computer Vision - 7th Chinese Conference, 2024

2020

An advanced hybrid smoothed particle hydrodynamics-fluid implicit particle method on adaptive grid for condensation simulation.

Jiajun Shi, Chen Li, Changbo Wang, Hong Qin, Gaoqi He

Comput. Animat. Virtual Worlds, 2020

2019

Secrecy-Based Delay-Aware Computation Offloading via Mobile Edge Computing for Internet of Things.

Yuan Wu, Jiajun Shi, Kejie Ni, Liping Qian, Wei Zhu, Zhiguo Shi, Limin Meng

IEEE Internet Things J., 2019

2018

Optimal Computational Power Allocation in Multi-Access Mobile Edge Computing for Blockchain.

Yuan Wu, Xiangxu Chen, Jiajun Shi, Kejie Ni, Liping Qian, Liang Huang, Kuan Zhang

Sensors, 2018

Joint Time and Power Allocations for Uplink Nonorthogonal Multiple Access Networks.

Yuan Wu, Cheng Zhang, Kejie Ni, Jiajun Shi, Liping Qian, Liang Huang, Weidang Lu, Limin Meng

Proceedings of the Machine Learning and Intelligent Communications, 2018

Technologies and Applications of Narrowband Internet of Things.

Jia Chen, Jiajun Shi, Xiangxu Chen, Yuan Wu, Liping Qian, Liang Huang

Proceedings of the Machine Learning and Intelligent Communications, 2018

Optimal Multi-access Computation Offloading for Mobile Blockchain.

Yuan Wu, Jiajun Shi, Xiangxu Chen, Kejie Ni, Li Ping Qian, Kuan Zhang

Proceedings of the IEEE International Conference on Communication Systems, 2018

2017

NP-Dynamic Skybridge: A Fine-Grained 3D IC Technology with NP-Dynamic Logic.

Jiajun Shi, Mingyu Li, Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz

IEEE Trans. Emerg. Top. Comput., 2017

Robust Gas Condensation Simulation with SPH based on Heat Transfer.

Tai-you Zhang, Jiajun Shi, Changbo Wang, Hong Qin, Chen Li

Proceedings of the 25th Pacific Conference on Computer Graphics and Applications, 2017

Power-delivery network in 3D ICs: Monolithic 3D vs. Skybridge 3D CMOS.

Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2017

Fine-grained 3D reconfigurable computing fabric with RRAM.

Mingyu Li, Jiajun Shi, Sachin Bhat, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2017

SkyNet: Memristor-based 3D IC for artificial neural networks.

Sachin Bhat, Sourabh Kulkami, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2017

2016

Routability in 3D IC design: Monolithic 3D vs. Skybridge 3D CMOS.

Jiajun Shi, Mingyu Li, Santosh Khasanvis, Mostafizur Rahman, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2016

Towards automatic thermal network extraction in 3D ICs.

Mingyu Li, Santosh Khasanvis, Jiajun Shi, Sachin Bhat, Mostafizur Rahman, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2016

On the Design of Ultra-High Density 14nm Finfet Based Transistor-Level Monolithic 3D ICs.

Jiajun Shi, Deepak Nayak, Motoi Ichihashi, Srinivasa Banna, Csaba Andras Moritz

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Skybridge-3D-CMOS: A Vertically-Composed Fine-Grained 3D CMOS Integrated Circuit Technology.

Mingyu Li, Jiajun Shi, Mostafizur Rahman, Santosh Khasanvis, Sachin Bhat, Csaba Andras Moritz

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

2015

Manufacturing Pathway and Experimental Demonstration for Nanoscale Fine-Grained 3-D Integrated Circuit Fabric.

Mostafizur Rahman, Jiajun Shi, Mingyu Li, Santosh Khasanvis, Csaba Andras Moritz

CoRR, 2015

Architecting NP-Dynamic Skybridge.

Jiajun Shi, Mingyu Li, Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Architecting 3-D integrated circuit fabric with intrinsic thermal management features.

Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Architecting connectivity for fine-grained 3-D vertically integrated circuits.

Santosh Khasanvis, Mostafizur Rahman, Mingyu Li, Jiajun Shi, Csaba Andras Moritz

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Fine-grained 3-D integrated circuit fabric using vertical nanowires.

Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Proceedings of the 2015 International 3D Systems Integration Conference, 2015

2014

Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS.

Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

CoRR, 2014

A new Tunnel-FET based RAM concept for ultra-low power applications.

Mostafizur Rahman, Mingyu Li, Jiajun Shi, Santosh Khasanvis, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

2013

Embedded processors based on Spin Wave Functions (SPWFs).

Santosh Khasanvis, Sankara Narayanan Rajapandian, Prasad Shabadi, Jiajun Shi, Csaba Andras Moritz

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2013