5 papers
Isolation as a First-Class Principle for LLM-Agent System Safety: Concepts, Taxonomy, Challenges and Future Directions
Huihao Jing, Wenbin Hu, Shaojin Chen +10
The paper surveys how isolating components such as user inputs, tools, execution, inter‑agent communication, and environment can improve safety of LLM‑agent systems, presenting a b…
Search for higgsinos in compressed mass spectra using low-momentum tracks in collisions at TeV with the ATLAS detector
ATLAS Collaboration
This paper presents two searches for the electroweak production of higgsinos with compressed mass spectra using 140 fb of TeV proton-proton collision data coll…
Unified Dominance Graph for Interval-Predicate Approximate Nearest Neighbor Search
Kwun Hang Lau, Ruiyuan Zhang, Elton Chun-Chai Li +3
Approximate Nearest Neighbor Search (ANNS) is a core primitive for unstructured data retrieval. Real-world applications--such as temporal databases, financial data analysis, and re…
Do Reasoning Models Enhance Embedding Models?
Wun Yu Chan, Shaojin Chen, Huihao Jing +5
State-of-the-art embedding models are increasingly derived from decoder-only Large Language Model (LLM) backbones adapted via contrastive learning. Given the emergence of reasoning…
An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
Xiaohui Hu, Wun Yu Chan, Yuejie Shi +5
Smart contract security is paramount, but identifying intricate business logic vulnerabilities remains a persistent challenge because existing solutions consistently fall short: ma…