CAPRI: Contract-Aware Proof Repair for Isabelle
Explorar
Noticias de IA
21010 elementos — filtrados, clasificados y sin duplicados
MLLM-Routed Heterogeneous Ensembles for Robust Cross-Dataset Image Classification
Concept Drift Detection and Adaptive Retraining of Malware Classification Models
A Q-learning-based QoS-aware multipath routing protocol in IoMT-based wireless body area …
Robust Checkpoint Selection for Multimodal LLMs via Agentic Evaluation and Stability-Awar…
LittleLearner: Language Models Under Pedagogically Controlled Knowledge Exposure
HumanTracker: Towards Comprehensive and Human-Aligned Motion Tracking Benchmark
Identification of Probabilities of Causation: from Recursive to Closed-Form Bounds
DomusFM: A Foundation Model for Event-Based Behavioral Monitoring in Smart-Homes
Similarity All The Way Up: Multilingual Generalization in LLMs Relies on Language-Level S…
Nutrition Data Infrastructure for the AI Era: Operationalizing FAIR for Agent-Mediated Re…
Rule of Thumb: Explaining Artificial Intelligence Systems using Partial Information
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence f…
Enhancing In-Hospital Mortality Prediction Using Multi-Representational Learning with LLM…
Exploring Sparsity for Parameter Efficient Fine Tuning Using Wavelets for Vision
How Significant Are the Real Performance Gains? An Unbiased Evaluation Framework for Grap…
Can Generalist Vision Language Models (VLMs) Rival Specialist Medical VLMs? Benchmarking …
REHEARSE: Experiential Rehearsal for Verbal Confidence Calibration in Large Language Mode…
StarEmbed: Benchmarking Time Series Foundation Models on Astronomical Observations of Var…
CityRiSE: Reasoning Urban Socio-Economic Status in Large Vision-Language Models via Reinf…
RadarGen: Automotive Radar Point Cloud Generation from Cameras
Learning Latency-Aware Orchestration for Multi-Agent Systems
INSHAPE: Instance-Level Shapelets for Interpretable Time-Series Classification
Early Warning Signals for OpenVLA Failure under Visual Distribution Shift
Vibe to Code: Elucidating Strategic Oscillation of Tacit Knowledge in Generative AI Desig…
Commit Locally, Exit Globally: Coordinating Adaptive Sampling and Early Exit in Diffusion…
Critic-Free Pretraining for Efficient Online Reinforcement Learning Fine-Tuning
Beyond Outcome Rewards: Step-Level Self-Distilled Policy Optimization for Deep Search Age…
Memorization Diagnostics for Code LLMs Should be Scale-Aware
PIPES: Securing Agent Perception with Provenance and Priors