Hangrui Bi

According to our database, Hangrui Bi authored at least 5 papers between 2021 and 2026.

Collaborative distances:

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

2026

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent.

Youyuan Zhang, Jialiang Sun, Hangrui Bi, Chuqin Geng, Wenjie Ma, Zhaoyu Li, Xujie Si

CoRR, April, 2026

2025

PyEuclid: A Versatile Formal Plane Geometry System in Python.

Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2022

DPA-1: Pretraining of Attention-based Deep Potential Model for Molecular Simulation.

Duo Zhang, Hangrui Bi, Fu-Zhi Dai, Wanrun Jiang, Linfeng Zhang, Han Wang

CoRR, 2022

2021

Sanger: A Co-Design Framework for Enabling Sparse Attention using Reconfigurable Architecture.

Liqiang Lu, Yicheng Jin, Hangrui Bi, Zizhang Luo, Peng Li, Tao Wang, Yun Liang

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

Non-Autoregressive Electron Redistribution Modeling for Reaction Prediction.

Hangrui Bi, Hengyi Wang, Chence Shi, Connor W. Coley, Jian Tang, Hongyu Guo

Proceedings of the 38th International Conference on Machine Learning, 2021