Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
Explorar
Noticias de IA
27413 elementos — filtrados, clasificados y sin duplicados
Latent Space Disentanglement via Activation Steering for Interpretable Attribute Control …
Social welfare optimisation under institutional reward and punishment
FBHM: Functional Benchmarking and Steering of VLMs for Hateful Meme Detection
DynaTree: Dynamic Agentic Retrieval Tree for Time-Sensitive News Retrieval
Vision-Language Models Suppress Female Representations Under Ambiguous Input
PAC-Bayesian Reinforcement Learning Trains Generalizable Policies
SCOPE: Selective Conformal Optimized Pairwise LLM Judging
Inverting Data Transformations via Diffusion Sampling
The Gaussian-Head OFL Family: One-Shot Federated Learning from Client Global Statistics
GPU Forecasters: Language Models as Selective Surrogates for Kernel Runtime Optimization
Performance and Complexity Trade-off Optimization of Speech Models During Training
Rethinking Multimodal Few-Shot 3D Point Cloud Segmentation: From Fused Refinement to Deco…
FreeTimeGS++: Secrets of Dynamic Gaussian Splatting and Their Principles
SEMA-RAG: A Self-Evolving Multi-Agent Retrieval-Augmented Generation Framework for Medica…
The Terminal Representation in Reinforcement Learning
Envisioning Beyond the Few: Disentangled Semantics and Primitives for Few-Shot Atypical L…
Why Linear Recurrent Memory Works in Partially Observable Reinforcement Learning
Learning Cardiac Latent Representations in Vectorcardiogram Space
AMix-2: Establishing Protein as a Native Modality in Large Language Models
Toxic HallucinAItions: Perturbing Prompts and Tracing LLM Circuits
DARTS: Distribution-Aware Active Rollout Trajectory Shaping for Accelerating LLM Reinforc…
SAGE: A Novelty Gate for Efficient Memory Evolution in Agentic LLMs
MAECO-Lite: Modular Ontology for Dynamic Malware Analysis
MIMO: Multilingual Information Retrieval via Monolingual Objectives
Developing an AI-Powered UX Research Point of View for Digital Health in A Regulatory Con…
KnowledgeGain: Evaluating and Optimizing Science News Generation for Reader Learning
STEP: Learning STructured Embeddings for Progressive Time Series
LongDS-Bench: On the Failure of Long-Horizon Agentic Data Analysis
A Unified Framework for Gradient Aggregation in Multi-Objective Optimization