Bojie Shao

According to our database, Bojie Shao authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees.

Bingchang Yuan, Zhaohui Wang, Lingfeng Zhang, Jingran Yang, Bojie Shao, Min Zhang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2025, 2025

2024

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.

Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang

CoRR, 2024

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.

Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024