| 2025 | AAAI | Medical MLLM Is Vulnerable: Cross-Modality Jailbreak and Mismatched Attacks on Medical Multimodal Large Language Models. | Xijie Huang, Xinyuan Wang, Hantao Zhang, Yinghao Zhu, Jiawen Xi, Jingkun An, Hao Wang, Hao Liang, Chengwei Pan |
| 2025 | ICLR | LeFusion: Controllable Pathology Synthesis via Lesion-Focused Diffusion Models. | Hantao Zhang, Yuhe Liu, Jiancheng Yang, Shouhong Wan, Xinyuan Wang, Wei Peng, Pascal Fua |
| 2025 | ICML | Interpolating Neural Network-Tensor Decomposition (INN-TD): a scalable and interpretable approach for large-scale physics-based problems. | Jiachen Guo, Xiaoyu Xie, Chanwook Park, Hantao Zhang, Matthew Politis, Gino Domel, Wing Kam Liu |
| 2025 | IJCNN | Weakly Supervised Lesion Detection Guides Diabetic Retinopathy Grading. | Jun Li, Hantao Zhang, Shouhong Wan, Qingshan Hou, Peng Cao, Banghao Yin |
| 2025 | MICCAI | DiffAtlas: GenAI-Fying Atlas Segmentation via Image-Mask Diffusion. | Hantao Zhang, Yuhe Liu, Jiancheng Yang, Weidong Guo, Xinyuan Wang, Pascal Fua |
| 2024 | ICTAI | ICLD: An Instance Contrastive Learning Domain Adaptive SAR Object Detection Network. | Shouhong Wan, Risheng Xie, Rui Wang, Hantao Zhang, Peiquan Jin |
| 2024 | MMM | A Detail-Guided Multi-source Fusion Network for Remote Sensing Object Detection. | Xiaoting Li, Shouhong Wan, Hantao Zhang, Peiquan Jin |
| 2023 | AISTATS | Cooperative Inverse Decision Theory for Uncertain Preferences. | Zachary Robertson, Hantao Zhang, Sanmi Koyejo |
| 2023 | PRICAI | Investigating the Existence of Holey Latin Squares via Satisfiability Testing. | Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang |
| 2018 | CADE | Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. | Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang |
| 2018 | ITW | Best Arm Identification for Both Stochastic and Adversarial Multi-armed Bandits. | Hantao Zhang, Cong Shen |
| 2010 | SAC | Constraint processing in relational database systems: from theory to implementation. | James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang |
| 2008 | ICLP | A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). | Sebastien Siva, James J. Lu, Hantao Zhang |
| 2006 | SAT | A Complete Random Jump Strategy with Guiding Paths. | Hantao Zhang |
| 2005 | LPAR | Another Complete Local Search Method for SAT. | Haiou Shen, Hantao Zhang |
| 2004 | AAAI | Study of Lower Bound Functions for MAX-2-SAT. | Haiou Shen, Hantao Zhang |
| 2004 | AISC | Extending Finite Model Searching with Congruence Closure Computation. | Jian Zhang, Hantao Zhang |
| 2004 | ISAIM | Improving Exact Algorithms for MAX-2-SAT. | Haiou Shen, Hantao Zhang |
| 2004 | SAT | Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. | Zhuo Huang, Hantao Zhang, Jian Zhang |
| 2004 | SAT | A SAT Based Scheduler for Tournament Schedules. | Hantao Zhang, Dapeng Li, Haiou Shen |
| 2002 | ISAIM | A Randomization Strategy for Combinatorial Search. | Hantao Zhang |
| 2000 | CADE | Workshop: Model Computation - Principles, Algorithms, Applications. | Peter Baumgartner, Christian G. Fermller, Nicolas Peltier, Hantao Zhang |
| 1997 | CADE | SATO: An Efficient Propositional Prover. | Hantao Zhang |
| 1996 | AAAI | Combining Local Search and Backtracking Techniques for Constraint Satisfaction. | Jian Zhang, Hantao Zhang |
| 1996 | CADE | System Description: Generating Models by SEM. | Jian Zhang, Hantao Zhang |
| 1995 | CP | Constraint Propagation in Model Generation. | Jian Zhang, Hantao Zhang |
| 1995 | IJCAI | SEM: a System for Enumerating Models. | Jian Zhang, Hantao Zhang |
| 1994 | AAAI | ModGen: Theorem Proving by Model Generation. | Sun Kim, Hantao Zhang |
| 1993 | ICCD | Formal Semantics of VHDL for Verification of Circuit Designs. | Xin Hua, Hantao Zhang |
| 1992 | CADE | FRI: Failure-Resistant Induction in RRL. | Xin Hua, Hantao Zhang |
| 1992 | CADE | Herky: High Performance Rewriting in RRL. | Hantao Zhang |
| 1992 | CADE | Proving the Chinese Remainder Theorem by the Cover Set Induction. | Hantao Zhang, Xin Hua |
| 1988 | CADE | RRL: A Rewrite Rule Laboratory. | Deepak Kapur, Hantao Zhang |
| 1988 | CADE | First-Order Theorem Proving Using Conditional Rewrite Rules. | Hantao Zhang, Deepak Kapur |
| 1988 | CADE | A Mechanizable Induction Principle for Equational Specifications. | Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy |
| 1986 | CADE | Proof by Induction Using Test Sets. | Deepak Kapur, Paliath Narendran, Hantao Zhang |
| 1986 | CADE | RRL: A Rewrite Rule Laboratory. | Deepak Kapur, G. Sivakumar, Hantao Zhang |
| 1984 | ECAI | REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. | Jean-Luc Rmy, Hantao Zhang |