万海主页

发表论文

神经符号学习 (Neuro-Symbolic Learning)

Weilin Luo, Tingchen Han, Junming Qiu, Hai Wan（万海）, Jianfeng Du, Bo Peng, Guohui Xiao, Yanan Liu: NADA: Neural Acceptance-Driven Approximate Specification Mining. ISSTA 2025: ISSTA079. [PDF] [Code]
Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan（万海）, Yue Yu: OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams. CIKM 2025: 2430-2439. [PDF] [Code]
Hai Wan（万海）, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng: End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI 2024: 9071-9079. [PDF]
Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan（万海）, Jianfeng Du, Weiyuan Fang: Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. ISSTA 2024: 996-1008. [PDF] [Code]
Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan（万海）, Yanan Liu, Rongzhen Ye: ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. ICSE-NIER 2024: 11-15. [PDF] [Code]
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan（万海）, Jianfeng Du, Pingjia Liang, Polong Chen: SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE 2023: 1761-1765. [PDF] [Code]
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan（万海）, Rongzhen Ye, Yuhang Zheng: PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE 2023: 1766-1770. [PDF]
Rongzhen Ye, Tianqu Zhuang, Hai Wan（万海）, Jianfeng Du, Weilin Luo, Pingjia Liang: A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI 2023: 4809-4817. [PDF]
Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan（万海）, Bo Peng, Delong Zhang: Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI 2022: 9849-9856. [PDF]
Weilin Luo, Hai Wan（万海）, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang: Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI 2022: 3292-3298. [PDF]
Weilin Luo, Hai Wan（万海）, Delong Zhang, Jianfeng Du, Hengdi Su: Checking LTL Satisfiability via End-to-end Learning. ASE 2022. [PDF] [Code]

知识图谱补全与关系抽取 (Knowledge Graph Completion and Relation Extraction)

Kunxun Qi, Jianfeng Du, Hai Wan（万海）: Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. CIKM 2024: 1899-1908. [PDF] [Code]
Kunxun Qi, Jianfeng Du, Hai Wan（万海）: End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) 2024: 7247-7263. [PDF]
Kunxun Qi, Jianfeng Du, Hai Wan（万海）: Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS 2023. [PDF] [Code]
Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen: Aligning Knowledge and Text Embeddings by Entity Descriptions. EMNLP 2015: 267-272.

自然语言处理 (Natural Language Processing)

Yanan Liu, Hai Wan（万海）, Jianfeng Du, Yao Wang, Kunxun Qi, Weilin Luo: Learning to mine all minimal evidences for unverified claims. Information Sciences 720: 122505 (2025). [PDF]
Xingqiang Zhao, Hai Wan（万海）, Kunxun Qi: QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. AAAI 2024: 19670-19677. [PDF]
Kunxun Qi, Hai Wan（万海）, Jianfeng Du, Haolan Chen: Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) 2022: 1910-1923. [PDF] [Code]
Hai Wan（万海）, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan: FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI 2021: 13916-13923. [PDF] [Code]
Hai Wan（万海）, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye: A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) 2021: 1030-1039. [PDF] [Code]
Hai Wan（万海）, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang: Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) 2021: 1971-1981. [PDF] [Code]
Hai Wan（万海）, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan:Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI 2020: 9122-9129.
Wanshan Zheng, Zibin Zheng, Hai Wan（万海）, Chuan Chen: Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470.

约束求解、组合优化与需求工程 (Constraint Solving, Combinatorial Optimization and Requirements Engineering)

Weilin Luo, Polong Chen, Hai Wan（万海）, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao: Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. Journal of Systems and Software 213: 112036 (2024). [PDF] [Code]
Weilin Luo, Rongzhen Ye, Hai Wan（万海）, Shaowei Cai, Biqing Fang, Delong Zhang: Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI 2022: 10283-10290. [PDF]
Weilin Luo, Hai Wan（万海）, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song: An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD 2021: 1-9. [PDF] [Code]
Weilin Luo, Hai Wan（万海）, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen: How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484. [PDF]
Weilin Luo, Ou Wei, Hai Wan（万海）: SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Transactions on Reliability 70(2): 575-589 (2021).
Peilin Chen, Hai Wan（万海）, Shaowei Cai, Jia Li, Haicheng Chen: Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI 2020: 2343-2350.

机器学习与计算机视觉 (Machine Learning and Computer Vision)

Wenxi Lv, Qinliang Su, Hai Wan（万海）, Hongteng Xu, Wenchao Xu: Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. ICML 2024. [PDF] [Code]
Hai Wan（万海）, Yonghao Luo, Bo Peng, Wei-Shi Zheng: Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI 2018: 949-956.
Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai. Adversarial Attribute-Image Person Re-identification. IJCAI 2018: 1100-1106.

知识表示与推理 (Knowledge Representation and Reasoning)

Hai Wan（万海）, Biqing Fang, Yongmei Liu: A General Multi-agent Epistemic Planner based on Higher-order Belief Change. Artificial Intelligence 301: 103562 (2021). [PDF] [Code]
Hai Wan（万海）, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang: Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI 2020: 3017-3024.
Zhanhao Xiao, Hai Wan（万海）, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen: Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016.
Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu: A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101.
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su: Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469.
Hai Wan（万海）, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang: Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101.
Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang: Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI 2016: 1596-1597.
Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu: Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137.
Hai Wan（万海）, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu: A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263.
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan: Splitting a Logic Program Revisited. AAAI 2015: 1511-1517.
Jianmin Ji, Hai Wan, Peng Xiao: On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015: 1518-1524.
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan: Simplifying A Logic Program Using Its Consequences. IJCAI 2015: 3069-3075.
Hai Wan（万海）, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang: Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111.
Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao: Elementary Loops Revisited. AAAI 2014: 1063-1069.

授权的知识产权

罗炜麟,邓浩天,梁雪怡,万海,曾娟. 一种多级规约的软件危险行为检测方法: 中国, CN121859332B [P]. 2026-06-09.
曾娟,王尧,刘亚男,邓浩天,陈泼龙,罗炜麟,万海. 一种基于异构目标融合的精细实证溯因与声明验证方法: 中国, CN121809461B [P]. 2026-05-08.
曾娟,刘亚男,方维远,罗炜麟,万海. 基于大语言模型的控制系统自动化修复方法及系统: 中国, CN120065871B [P]. 2026-03-20.
曾娟,彭勃,罗炜麟,李耀华,万海. 一种基于神经符号融合算法的数值推理问题弱监督求解方法及存储介质: 中国, CN120317361B [P]. 2025-10-31.
万海,罗炜麟,陈泼龙,曾娟. 一种用于嵌入式系统存储功能测试的数据增广方法及系统: 中国, CN118885400B [P]. 2024-12-13.
万海,罗炜麟,邓浩天,梁梓豪,曾娟. 一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统: 中国, CN118796163B [P]. 2024-12-13.
万海,肖逸凡,曾娟. 一种基于迭代精细化的图像场景图谱生成方法: 中国, CN109783666B [P]. 2023-05-23.
万海,欧佳玲,曾娟,王宝亿. 面向移动端虚拟现实与增强现实的场景图谱生成方法: 中国, CN111144492B [P]. 2023-03-28.
万海,夏勇涛,曾娟. 一种基于图二阶相似性的知识图谱实体语义空间嵌入方法: 中国, CN109829057B [P]. 2023-02-21.
万海,刘亚男,张漫榕,黄佳莉,曾娟. 一种基于时态知识图谱推理的社交关系演变预测方法: 中国, CN112905738B [P]. 2022-04-22.
万海,罗永豪. 一种基于图像场景图谱对齐的图像查询回答方法: 中国, CN109800317B [P]. 2022-03-11.
万海,钟洪桢,罗炜麟,范科峰,赵杭. 一种形式化需求规约自动化修复方法: 中国, CN112667215B [P]. 2022-02-25.
万海,刘欣怡. 基于源代码多标签图神经网络的程序代码抄袭类型检测方法与系统: 中国, CN108446540B [P]. 2022-02-25.
万海、李雷来、曾娟：一种基于二次主题空间投影的场景图谱低维空间嵌入方法, 2022-3-7, ZL201910027580.6 (已授权国家发明专利).
万海、王宝亿、曾娟、欧佳玲：虚拟现实与增强现实场景下基于关系约束的场景图谱优化方法, 2022-1-12, ZL201911376814.4 (已授权国家发明专利).
苏晓恒、万海：一种中文文本知识图谱自动构建方法及系统, 2019-12-13, ZL201710050095.1 (已授权国家发明专利).
温木奇、刘鹏鹏、徐天源、万海：一种微服务化的网络安全实验系统, 2020-12-4, ZL201910159359.6 (已授权国家发明专利).
万海、王忠军、罗育林、沈大伟：面向多模态数据的分布式存储平台V3.0, 2020SR0925536, 2019-10-20 (已获授软件著作权).