Juhua Pu

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

2023 · arXiv (Cornell University)

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend …

ICAD-LLM: One-for-All Anomaly Detection via In-Context Learning with Large Language Models

2025 · arXiv (Cornell University)

Anomaly detection (AD) is a fundamental task of critical importance across numerous domains. Current systems increasingly operate in rapidly evolving environments that generate diverse yet interconnected data modalities -- such as time series, system logs, …