Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Explorar
Noticias de IA
30934 elementos — filtrados, clasificados y sin duplicados
Evidence Interfaces Shape How Retrieval-Augmented Readers Use Support
Benchmarking Machine Learning Models for Multi-Omics-Based Breast Cancer Prediction
Learning Structural Manipulability in Gate-Level Netlists Using Graph Neural Networks
KernelBench-Verified: Do LLM-Generated Kernels Actually Beat PyTorch?
The Autonomous Agency Scale: A Behavioral Framework for Measuring Self-Directed Behavior …
Boundary-Seeking GAN-Augmented TabTransformer for Adversarially Robust Intrusion Detection
ProEvent: An Event-centric Benchmark for Proactive Agents
Mechanistic Attention Guidance for Agent Memory Refinement
When to Plan: Learning to Select Between Reactive Control and Deliberative Planning
Interactive Task Alignment as a POMDP
RAIL Guard: Closing the Evaluation-to-Remediation Gap in Responsible AI for LLM Agents
JUMP: Single-Pass Membership Inference on Fine-Tuned Diffusion Language Models
Training Continuous Chain of Thought Models: A Tale of Two Regimes
FUSAR-R1: A Large-Scale Reasoning Model for Intelligent Interpretation of SAR Images
Supporting Autonomous Process Execution within a Multi-Perspective Constraint Frame via N…
Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (exte…
TopoTuner: Topological Finetuning of Large Language Models
AIGB-R1: Self-Evolving Generative Auto-Bidding via Hierarchical Planner-Executor Optimiza…
Asynchronous Multimodal Diffusion Policy Composition via Latency-Aware Guidance Fusion
VLA-ReID: Video-Level Association for Re-Identification in Multi-Object Tracking with Hig…
Alignment of a Total Automation Economy
ReqGenX: An Empirical Study of Atomic Decomposition, Artifact Regeneration, and Reconstru…
Generative Ontology Induction: Domain-Agnostic Schema Discovery from Document Corpora Usi…
Rater State Bias in RLHF Preference Data: An Audit Framework
HantaWatch: Federated Learning for Hantavirus Genomic Surveillance
Token-Level Cross-Modal Transformer with Contrastive Multi-Task Learning for Breast Cance…
From Weights to Words: Expressing and Editing Preference Model Inferences in Natural Lang…
RouteCost: A Production-Inspired Multi-Stage Framework for Pre-Order Shipping Cost Estima…
International Agreements to Limit Frontier AI: Objectives and Exit