2 citations · 2 across the 7 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
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…