activity
20192026
most citedCitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

2 citations · 2 across the 7 of their papers we have counts for

collaborators

8 papers

cs.AI2026

Dr-DCI: Scaling Direct Corpus Interaction via Dynamic Workspace Expansion

Yi Lu, Zhuofeng Li, Ping Nie +7

Agentic search over large corpora relies on retriever-mediated interfaces (e.g., BM25 or ColBERT) for scalable candidate discovery. While effective at ranking relevant documents, t…

cs.AI2026

PRISMR: Overcoming Parse Collapse in Multimodal Listwise Ranking via Parameterized Representation Internalization

Hao Jiang, Xin Li, Annan Wang +4

Generative listwise ranking with Large Multimodal Models (LMMs) aims to capture global list context in a single forward pass, but its effectiveness degrades in long-context multimo…

cs.DB2025

AutoDDG: Automated Dataset Description Generation using Large Language Models

Haoxiang Zhang, Yurong Liu, Aécio Santos +2

The proliferation of datasets across open data portals and enterprise data lakes presents an opportunity for deriving data-driven insights. Widely-used dataset search systems rely…

cs.IR2024

MRSE: An Efficient Multi-modality Retrieval System for Large Scale E-commerce

Hao Jiang, Haoxiang Zhang, Qingshan Hou +4

Providing high-quality item recall for text queries is crucial in large-scale e-commerce search systems. Current Embedding-based Retrieval Systems (ERS) embed queries and items int…

cs.AI2023★ 2 cited

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

Zirong Chen, Issa Li, Haoxiang Zhang +3

An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. Howeve…

cs.AI2022

An Intelligent Assistant for Converting City Requirements to Formal Specification

Zirong Chen, Isaac Li, Haoxiang Zhang +3

As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal…

cs.AI2022

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities

Zirong Chen, Isaac Li, Haoxiang Zhang +3

An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, m…

cs.CL2019

Visualizing Trends of Key Roles in News Articles

Chen Xia, Haoxiang Zhang, Jacob Moghtader +2

There are tons of news articles generated every day reflecting the activities of key roles such as people, organizations and political parties. Analyzing these key roles allows us…