(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out ri…
Explorar
Noticias de IA
37834 elementos — filtrados, clasificados y sin duplicados
Beyond Probabilistic Similarity: Structural, Temporal, and Causal Limitations of Retrieva…
Multi-Turn Evaluation of Deep Research Agents Under Process-Level Feedback
Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attrib…
Post-Trained MoE Can Skip Half Experts via Self-Distillation
Collaborative Human-Agent Protocol (CHAP)
SIGA: Self-Evolving Coding-Agent Adapters for Scientific Simulation
ConflictRAG: Detecting and Resolving Knowledge Conflicts in Retrieval Augmented Generation
XAInomaly: Explainable and Interpretable Deep Contractive Autoencoder for O-RAN Traffic A…
Full Attention Strikes Back: Transferring Full Attention into Sparse within Hundred Train…
APEX: Large-scale Multi-task Aesthetic-Informed Popularity Prediction for AI-Generated Mu…
Blockchain Infrastructure for Intelligent Cyber--Physical--Social Systems:Post-Quantum Se…
Evaluating Hallucinations in Domain-Adapted Large Language Models
Retrieval Augmented Generation Framework for the Nepali Legal Domain Question Answering
Implicit Causal Graph Construction in Text via Chain Discovery
GraphLoRA: Structure-Aware Low-Rank Adaptation for Large Language Model Recommendation
Evaluating Design Video Generation: Metrics for Compositional Fidelity
BEACON: Behavioral Entropy Aggregation for Cross-Model Hallucination Detection in Large L…
Learning Behavioral Signals from Encrypted Smartphone Network Traffic
Margin-Adaptive Confidence Ranking for Reliable LLM Judgement
High-Rate Quantized Matrix Multiplication II
Improving the Performance and Learning Stability of Parallelizable RNNs Designed for Ultr…
Quantifying Rodda and Graham Gait Classification from 3D Markerless Kinematics derived fr…
MinMax Recurrent Neural Cascades
DynamicPO: Dynamic Preference Optimization for Recommendation
Simple Self-Conditioning Adaptation for Masked Diffusion Models
Watts-per-Intelligence Part II: Algorithmic Catalysis
NavOne: One-Step Global Planning for Vision-Language Navigation on Top-Down Maps
Self-Mined Hardness for Safety Fine-Tuning
Neuron-Anchored Rule Extraction for Large Language Models via Contrastive Hierarchical Ab…