| 2026 | AAAI | Learning to Compress: Unlocking the Potential of Large Language Models for Text Representation. | Yeqin Zhang, Yizheng Zhao, Chen Hu, Binxing Jiao, Daxin Jiang, Ruihang Miao, Cam-Tu Nguyen |
| 2026 | ACL | RAG-on-a-Diet: A Reinforcement Learning-Based Dynamic Resource Optimization Framework for RAG. | Hongwen Ding, Yizheng Zhao |
| 2026 | ACL | Do Transformers Grok Succinct Algorithms? Mechanistic Evidence for Counting Circuits. | Yizheng Zhao |
| 2026 | KDD | Fast and Faithful: Scalable Neuro-Symbolic Learning and Reasoning with Differentiable Fuzzy 𝓔𝓛 | Yizheng Zhao |
| 2026 | KR | Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction. | Chang Lu, Renate A. Schmidt, Yizheng Zhao |
| 2026 | SIGIR | OntoEL: Neuro-Symbolic Biomedical Entity Linking with Differentiable Fuzzy EL | Chang Lu, Yizheng Zhao |
| 2025 | CADE | Uniform Interpolation and Forgetting for Large-Scale Ontologies with Application to Semantic Difference in SNOMED CT. | Yizheng Zhao, Junyi Zhang, Renate A. Schmidt |
| 2025 | CIKM | Strong Forgetting for ALCQ-Ontologies. | Sen Wang, Yizheng Zhao |
| 2025 | CIKM | OntoLDiff: A Highly Efficient System for Tracking Logical Difference in Large-Scale Ontologies. | Yizheng Zhao, Renate A. Schmidt |
| 2025 | KDD | A Neuro-Symbolic Approach to Symbol Grounding for ALC-Ontologies. | Xuan Wu, Yizheng Zhao |
| 2024 | CIKM | What a Surprise! Computing Rewritten Modules Can Be as Efficient as Computing Subset Modules. | Zhihao Yang, Yizheng Zhao |
| 2024 | WWW | Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies. | Yizheng Zhao |
| 2023 | CIKM | Highly-Optimized Forgetting for Creating Signature-Based Views of Ontologies. | Yizheng Zhao |
| 2022 | WWW | Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions. | Yue Xiang, Xuan Wu, Chang Lu, Yizheng Zhao |
| 2021 | CIKM | Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. | Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao |
| 2021 | KR | Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies. | Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao |
| 2021 | WWW | Computing Views of OWL Ontologies for the Semantic Web. | Jiaqi Li, Xuan Wu, Chang Lu, Wenxing Deng, Yizheng Zhao |
| 2020 | AAAI | A Practical Approach to Forgetting in Description Logics with Nominals. | Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng |
| 2020 | CIKM | UI-FAME: A High-Performance Forgetting System for Creating Views of Ontologies. | Xuan Wu, Wenxing Deng, Chang Lu, Hao Feng, Yizheng Zhao |
| 2019 | AAAI | Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. | Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi |
| 2019 | CADE | FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. | Yizheng Zhao, Renate A. Schmidt |
| 2018 | CADE | FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. | Yizheng Zhao, Renate A. Schmidt |
| 2018 | IJCAI | On Concept Forgetting in Description Logics with Qualified Number Restrictions. | Yizheng Zhao, Renate A. Schmidt |
| 2017 | IJCAI | Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. | Yizheng Zhao, Renate A. Schmidt |
| 2016 | IJCAI | Forgetting Concept and Role Symbols in ALCOIH | Yizheng Zhao, Renate A. Schmidt |