OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Bo Han
Associate Professor, Department of Computer Science, HKBU
Adjunct Scientist, Center for Advanced Intelligence Project, RIKEN
Joined
August 2018
Names
Bo Han
(Preferred)
,
bo han
Emails
****@gmail.com
(Confirmed)
,
****@riken.jp
(Confirmed)
,
****@student.uts.edu.au
(Confirmed)
,
****@comp.hkbu.edu.hk
(Confirmed)
,
****@a.riken.jp
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Career & Education History
Associate Professor
Department of Computer Science,
HKBU
(comp.hkbu.edu.hk)
2025
–
Present
Adjunct Scientist
Center for Advanced Intelligence Project,
RIKEN
(riken.jp)
2020
–
Present
Assistant Professor
Department of Computer Science,
HKBU
(comp.hkbu.edu.hk)
2020
–
2025
Researcher
Department of Machine Learning,
MBZUAI
(mbzuai.ac.ae)
2024
–
2024
Researcher
AI for Science,
Microsoft Research
(microsoft.com)
2022
–
2022
Postdoc
Center for Advanced Intelligence Project,
RIKEN
(riken.jp)
2019
–
2020
PhD student
Center for Artificial Intelligence,
University of Technology Sydney
(uts.edu.au)
2015
–
2019
Advisors, Relations & Conflicts
Coauthor
Tong Zhang
2024
–
Present
Coauthor
Ludwig Schmidt
2024
–
Present
Coauthor
Kilian Q Weinberger
2024
–
Present
Coauthor
Bernhard Schölkopf
2021
–
Present
Coauthor
Kun Zhang
2021
–
Present
Coauthor
Mingming Gong
2021
–
Present
Coauthor
Gang Niu
2018
–
Present
Coauthor
Mingyuan Zhou
2018
–
Present
Coauthor
Quanming Yao
2018
–
Present
Coauthor
Tongliang Liu
2018
–
Present
PhD Advisee
Zhanke Zhou
2022
–
2026
PhD Advisee
Qizhou Wang
2021
–
2025
PhD Advisee
Jianing Zhu
2021
–
2025
PhD Advisee
Yongqiang Chen
2021
–
2024
PhD Advisee
Zhenheng Tang
2021
–
2024
Postdoc Advisor
Masashi Sugiyama
2019
–
2020
PhD Advisor
Ivor Tsang
2015
–
2019
Expertise
Trustworthy Machine Learning
2018
–
Present
Deep Learning
2017
–
Present
Machine Learning
2015
–
Present
Publications
VeriBench: An End-to-End Formal Verification Benchmark for AI Coding Agents in Lean 4
Brando Miranda
,
Srivatsava Daruru
,
Ethan S Hersch
,
Zhanke Zhou
,
Allen Nie
,
Daneshvar Amrollahi
,
Leni Aniva
,
Iddah Mlauzi
,
Kirill Acharya
,
Elyas Obbad
,
Dilara Soylu
,
Weston Kirk
,
Zixiao Jolene Wang
,
Kai Fronsdal
,
Ying Li
,
Donald Poindexter Jr
,
Rakshit Kaushik
,
Shurui Liu
,
Yegor Denisov-Blanch
,
Steven Dillmann
et al. (8 additional authors not shown)
ICML 2026 AI4Math Workshop Poster
Readers:
Everyone
Reasoning Is More Than the Model: Harness-Aware Evaluation of Agents on Verifiable Reasoning Tasks
Zhanke Zhou
,
Zongze Li
,
Weikai Huang
,
Xuan Li
,
Chentao Cao
,
Xiao Feng
,
Xiangyu Lu
,
Jinbo Hu
,
Menghan Lu
,
Yi Xie
,
Nico Pelleriti
,
Shiyang Liu
,
Max Zimmer
,
Brando Miranda
,
Jiangchao Yao
,
Bo Liu
,
Sanmi Koyejo
,
Sebastian Pokutta
,
Bo Han
ICML 2026 AI4Math Workshop Poster
Readers:
Everyone
Learning to Evolve: Open-ended Molecular Optimization with Progress-shaped RL
Xuan Li
,
Zhanke Zhou
,
Zongze Li
,
Jiangchao Yao
,
Tongliang Liu
,
Bo Han
ICML 2026 AI4Math Workshop Poster
Readers:
Everyone
VeriBench: An End-to-End Formal Verification Benchmark for AI Coding Agents in Lean 4
Brando Miranda
,
Srivatsava Daruru
,
Ethan S Hersch
,
Zhanke Zhou
,
Allen Nie
,
Daneshvar Amrollahi
,
Leni Aniva
,
Iddah Mlauzi
,
Kirill Acharya
,
Elyas Obbad
,
Dilara Soylu
,
Weston Kirk
,
Zixiao Jolene Wang
,
Kai Fronsdal
,
Ying Li
,
Donald Poindexter Jr
,
Rakshit Kaushik
,
Shurui Liu
,
Yegor Denisov-Blanch
,
Steven Dillmann
et al. (8 additional authors not shown)
ICML 2026 Workshop DL4C
Readers:
Everyone
Heterogeneity-Aware Knowledge Sharing for Graph Federated Learning
Wentao Yu
,
Sheng Wan
,
Shuo Chen
,
Bo Han
,
Chen Gong
arxiv 2026
Readers:
Everyone
AlphaApollo: A System for Deep Agentic Reasoning
Zhanke Zhou
,
Chentao Cao
,
Xiao Feng
,
Xuan Li
,
Zongze Li
,
Xiangyu Lu
,
Jiangchao Yao
,
Weikai Huang
,
Tian Cheng
,
Jianghangfan Zhang
,
Tangyu Jiang
,
Linrui Xu
,
Yiming Zheng
,
Brando Miranda
,
Tongliang Liu
,
Sanmi Koyejo
,
Masashi Sugiyama
,
Bo Han
LLA 2026 Poster
Readers:
Everyone
In-Context Adaptation
Yongqiang Chen
,
Chenxi Liu
,
Qingyi Guo
,
Bo Han
,
Kun Zhang
CAO Poster
Readers:
Everyone
In-Context Adaptation
Yongqiang Chen
,
Chenxi Liu
,
Qingyi Guo
,
Bo Han
,
Kun Zhang
ICLR 2026 Workshop RSI Poster
Readers:
Everyone
CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpad
Yongqiang Chen
,
Chenxi Liu
,
Zhenhao Chen
,
Tongliang Liu
,
Bo Han
,
Kun Zhang
ICLR 2026 Workshop RSI Spotlight
Readers:
Everyone
CoDaPO: Confidence and Difficulty-Adaptive Policy Optimization for LLM Reasoning
Zhanke Zhou
,
Xiangyu Lu
,
Chentao Cao
,
Brando Miranda
,
Tongliang Liu
,
Bo Han
,
Sanmi Koyejo
LLA 2026 Poster
Readers:
Everyone
View all 624 publications
Co-Authors
Abdolreza Mirzaei
Abudukelimu Wuerkaixi
Alan Blair
Ali Taheri
Ali Taheri Ghahrizjani
Alireza Taban
Allen Nie
Amelie Chi Zhou
Andrea Yu
Ang Li
Antonin Berthon
Aoni Xu
Aoqi Zuo
Bai LiChen
Barakeel Fanseu Kamhoua
Beichen Yu
Bernhard Schölkopf
Bin Gao
Bingcong Li
Binghui Xie
Bingzhe Wu
Biwei Huang
Bo An
Bo Du
Bo Li
View all 666 co-authors