Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Large Language Model for OWL Proofs
Hui Yang, Jiaoyan Chen, Uli Sattler
The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithf…
cs.AI2025
Unbiased Platform-Level Causal Estimation for Search Systems: A Competitive Isolation PSM-DID Framework
Ying Song, Yijing Wang, Hui Yang +12
Evaluating platform-level interventions in search-based two-sided marketplaces is fundamentally challenged by systemic effects such as spillovers and network interference. While wi…
cs.AI2025
Language Models as Ontology Encoders
Hui Yang, Jiaoyan Chen, Yuan He +2
OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as…