tla+, p-lang, property-based testing, simulations
Model-Agnostic Sentiment Distribution Stability Analysis for Robust LLM-Generated Texts Detection
arxiv.org·10h
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·10h
Loading...Loading more...