Beyond Heavy Log Curation: Perplexity-Based APT Detection via Unsupervised, Context-Augme…
Explorar
Noticias de IA
27413 elementos — filtrados, clasificados y sin duplicados
Multilevel Graph Wavelet Compressed Sensing with Scale-Aware Neural Recovery
Sparse Concept Channels in Frozen 3D CT Vision Encoders
TOUR: A Trajectory-Level Unlearning Benchmark for Offline Reinforcement Learning
GlucoTune: A Unified Framework for Blood Glucose Preprocessing, Forecasting, and Benchmar…
Demographically-Informed Heat-Mortality Risk Curves via Risk Graph Neural Networks
CRAG-MM-Diagnostics: Enabling Stage-Wise Analysis of Knowledge-Intensive VQA
Case study: proving sqrt(2) irrational with LPTP and an LLM
Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Case study: solving P-99 with LPTP and an LLM
Towards a Certifying Grounder
Hybrid MKNF with Classical Negation in the Rule Component
pAI-Econ-claude: A Gated Human-in-the-Loop Multi-Agent Architecture for AI-Assisted Econo…
A Comparative Evaluation of Embeddings and LLMs in a Greek Book Publisher Setting - The C…
AI Assistants Overassist
GRADRAG: Cross-Component Prompt Adaptation for Coordinated Multi-Agent RAG
Toward cryptographically verifiable authorization for autonomous AI agents: A security hy…
From Static Bibliometrics to Dynamic Knowledge Graphs: An LLM-Powered Framework for Moder…
Phonetic forced alignment for low-resource language varieties: Model training and evaluat…
Mean-to-Score Discrete Diffusion: Posterior-Mean Denoisers for Score Entropy
VoLN: Vision-Only Long-Horizon Navigation---Paradigm, Benchmark, and Method
Cycle-Consistent and Uncertainty-Aware Neural Surrogates for Tokamak Edge Plasmas
Adaptive Identity Anchoring: Closed-Loop Keyframe Placement for Synthetic Paired Supervis…
Thinkink: 2D Spatial Ink-native Interaction with LLMs
Compact Latent Coordination for Autonomous Vehicles at Unsignalized Intersections
Artificial Epanorthosis: Why large language models overuse a classical rhetorical figure,…
ElasticTTT: Prior-Preserving Test-Time Tuning for Video Editing
Visual Contrastive Self-Distillation
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurre…