2 papers
cs.LG2025
ICAD-LLM: One-for-All Anomaly Detection via In-Context Learning with Large Language Models
Zhongyuan Wu, Jingyuan Wang, Zexuan Cheng +5
Anomaly detection (AD) is a fundamental task of critical importance across numerous domains. Current systems increasingly operate in rapidly evolving environments that generate div…
cs.LO2025
Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
Qiaolan Meng, Juhua Pu, Hongting Niu +3
We study the model enumeration problem of the function-free, finite domain fragment of first-order logic with two variables (). Specifically, given an sentence an…