8356 papers
This paper presents "Agent Hunt," a decentralized autoformalization system for algebraic topology that utilizes a simulated bounty-based marketplace to coordinate multiple LLM agents in dynamically proposing, competing to prove, and iteratively refining formal statements within an Interactive Theorem Proving environment.
This paper proposes Rank-factorized Implicit Neural Bias (RIB), a novel positional bias mechanism that enables the use of hardware-efficient FlashAttention in Super-Resolution Transformers, allowing for significantly larger window sizes and training patches that achieve state-of-the-art performance (35.63 dB PSNR) while reducing training and inference times by 2.1 and 2.9, respectively.
The paper introduces ResearchEnvBench, a new benchmark designed to evaluate autonomous agents' ability to synthesize complex execution environments for research code, revealing significant current limitations in dependency resolution and version management.
The paper introduces ViroGym, a comprehensive benchmark comprising extensive deep mutational scanning data and real-world tasks to evaluate protein language models for predicting viral variant effects and guiding rational antigen selection for vaccine development.
This paper introduces an efficient framework for heterogeneous decentralized diffusion models that enables experts to train with mixed objectives (DDPM and Flow Matching) and reduced resource requirements, achieving a 16x decrease in compute and 14x reduction in data compared to prior approaches while improving image quality and diversity.
This paper proposes a framework that fine-tunes pretrained generative models to directly sample within complex, structured feasible regions, achieving a novel balance between strict constraint satisfaction and high-quality sample realism for safety-critical applications like robotics and autonomous driving.
This paper identifies that applying Group Relative Policy Optimization (GRPO) to diffusion language models causes reward collapse due to noisy importance ratio estimates and formulation mismatches, and proposes StableDRL, a reformulated algorithm featuring unconditional clipping and self-normalization to stabilize training and prevent policy drift.
The paper introduces DIRECTER, a novel activation steering method that dynamically modulates steering strength through a plausibility-guided decoding loop and layer sensitivity analysis to enhance LLM instruction-following accuracy while preventing the oversteering that typically degrades text quality.
ButterflyViT introduces a geometric parameterization method that treats Mixture of Experts as rotations of a shared quantized substrate, achieving a 354 memory reduction for Vision Transformers on edge devices while maintaining accuracy through spatial smoothness regularization.
This paper introduces ProtAlign, a multi-objective preference alignment framework that fine-tunes pretrained inverse folding models to simultaneously optimize diverse developability properties like solubility and thermostability while preserving structural designability, resulting in the enhanced MoMPNN model for practical protein sequence design.
This paper surveys the landscape of robotic foundation models, identifies eleven key industrial implications to establish a 149-criteria assessment framework, and evaluates 324 models to reveal that current industrial readiness is limited and uneven, necessitating a shift from isolated benchmark successes to systematic integration of safety, real-time performance, and robust system deployment.
This paper introduces XMACNet, an explainable, lightweight CNN that combines self-attention mechanisms with multi-modal fusion of RGB images and vegetation indices to achieve high-accuracy chili disease classification suitable for edge deployment.
This paper proposes ICD3, an interpretable and robust approach for detecting concept drift in imbalanced streaming data by employing multi-distribution-granular search to identify small concepts and training independent One-Cluster Classifiers for each, thereby overcoming the masking effect of dominant large clusters.
This paper proposes and validates a multi-level explainability framework demonstrating that SHAP explanations for Alzheimer's disease diagnostic and prognostic models are robust, stable, and consistent across different disease stages and prediction tasks, thereby enhancing their reliability for clinical adoption.
This paper introduces a general-purpose, gradient-based nested co-design framework that jointly optimizes the aerodynamic shape and motion planner of winged robots using neural surrogate models for complex flow conditions, demonstrating superior performance and efficiency over evolutionary baselines in tasks like perching and short landing.
This paper proposes a diversity-aware adaptive collocation method for Physics-Informed Neural Networks that formulates point selection as a sparse QUBO optimization problem on a kNN graph to efficiently construct hybrid coreset subsets, thereby reducing training redundancy and overhead while improving accuracy on PDEs with shock formation.
This paper demonstrates that symbolic machine learning can effectively predict failures in chemical processes, such as ethylene oxidation, by generating interpretable, rule-based models that outperform traditional black-box methods while addressing the scarcity of real-world failure data through simulator-generated examples.
This paper proposes HGT-Scheduler, a deep reinforcement learning framework that utilizes Heterogeneous Graph Transformers to explicitly model the distinct edge semantics of the Job Shop Scheduling Problem, thereby outperforming homogeneous graph baselines on benchmark instances by capturing type-specific relational patterns through edge-type-dependent attention mechanisms.
SpatialMAGIC is a hybrid framework that integrates graph diffusion and transformer-based spatial self-attention to effectively impute sparse and noisy spatial transcriptomics data, thereby enhancing clustering accuracy, improving gene detection, and preserving biological interpretability across multiple high-resolution platforms.
The paper introduces **xaitimesynth**, an open-source Python package that streamlines the evaluation of time series attribution methods by providing a reusable infrastructure for generating synthetic datasets with known ground truth masks and calculating standard localization metrics.