Jie Yang

According to our database, Jie Yang authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving.

Ran Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun, Shen Zheng, Kai Shen

CoRR, February, 2025

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving.

Ran Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun, Shen Zheng, Ming Ding

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2022

Fine-grained dynamic load balancing in spatial join by work stealing on distributed memory.

Jie Yang, Satish Puri, Hui Zhou

Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022

2020

Efficient Parallel and Adaptive Partitioning for Load-balancing in Spatial Join.

Jie Yang, Satish Puri

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019

Spatial Data Decomposition and Load Balancing on HPC Platforms.

Jie Yang, Anmol Paudel, Satish Puri

Proceedings of the Practice and Experience in Advanced Research Computing on Rise of the Machines (learning), 2019

Hierarchical Filter and Refinement System Over Large Polygonal Datasets on CPU-GPU.

Yiming Liu, Jie Yang, Satish Puri

Proceedings of the 26th IEEE International Conference on High Performance Computing, 2019

Parallelization of Plane Sweep Based Voronoi Construction with Compiler Directives.

Anmol Paudel, Jie Yang, Satish Puri

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019