The empirical gap between these method families is identified as a variance-reduction effect rather than a difference in RL principle, and a multi-sample KDE value-gradient estimator that reuses rollout groups, together with scale-bounded weight families that retain stable existing recipes while excluding singular ones...
Yi-Xian Xu, Yuanrui Zhang, Sheng-Jie Luo et al.· 3 citations
The findings suggest that AI-powered anomaly detection significantly strengthens observability and security in cloud-based applications, enabling proactive threat mitigation and operational optimization in increasingly complex distributed environments.
Harsh Verma· International Journal of Sci...· 1 citation
A framework for automated theoretical research in causal inference built on the Lean proof assistant, where a proof is checked by a program rather than read by a referee is presented, where a proof is checked by a program rather than read by a referee.
Goal-conditioned reinforcement learning hinges on how the goal is encoded. Contrastive, metric, temporal-distance, and information-theoretic encoders differ in objective. They still share one trait. None of them sees the current state. Such a state-independent embedding cannot mark which part of the goal still needs ac...
Xing Lei, Wenyan Yang, Xuetao Zhang et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
An ensemble of LoRA adapters induces a credal set whose lower and upper probabilities expose the spread of plausible predictive distributions rather than collapsing to a single softmax output, and derives two complementary commitment scores.
S. K. Manchingal, S. Nikolenko, Fabio Cuzzolin· 1 citation
The research concludes that the DST provides stakeholders with high-level insights regarding the suitable DT maturity levels—essential for stakeholder buy-in—assists them in making data-driven decisions especially during the front-end planning stage, and helps determine realistic technology objectives that contribute t...
Amir Mahdiyar, Soheil Sabri, Sigrid Adriaenssens· Journal of construction engi...· 0 citations
The framework separates optimizer design into gradient prediction and online preconditioner selection, providing a principled perspective on how adaptive optimization methods may be understood through static regret and applied in nonconvex optimization.
Hai-Chen Hu, David Simchi-Levi· arXiv.org· 0 citations
This work proposes Subsampled Stochastic TurboQuant (SSTQ), a framework that combines overcomplete equal-norm tight frames, coordinate subsampling, and privacy-aware one-dimensional quantization and empirically evaluates SSTQ against established baselines on federated learning tasks using CIFAR-10 and Fashion-MNIST, de...
Adel Javanmard, David P. Woodruff, V. Mirrokni· 0 citations
This work proposes LumiCharge, a novel atomic charge prediction framework that incorporates high-order spherical harmonics convolutions and explicitly models multibody interactions, and demonstrates exceptional extrapolation capability and robustness across molecules of varying sizes, effectively overcoming the limitat...
Qun Su, Hui Zhang, Qiaolin Gou et al.· Journal of Physical Chemistr...· 2 citations
PepBAN is introduced, a deep learning framework for modeling PepPI predictions that effectively learns the pattern of pairwise local interactions, enables the identification of key residues participating in the peptide-protein interactions, and offers an intuitive approach to interpret the underlying mechanisms of PepP...
Shuaiyan Li, Xiaorui Wang, Yuchen Zhu et al.· Journal of Chemical Informat...· 4 citations
This study proposes SynGFN, which models molecular design as a cascade of simulated chemical reactions, enabling the assembly of molecules from synthesizable building blocks, as a bridge linking molecular design and synthesis, accelerating exploration and producing diverse, synthesizable, high-performance molecules.
Results indicate that BF3 antagonists can synergize with the LBP antagonist to amplify conformational flexibility in H12 and induce anticorrelated dynamics of H12 with H3 and H4, suggesting a promising avenue for enhancing the efficacy and overcoming the resistance in castration-resistant prostate cancer treatment.
Xiaotian Kong, Yushan Zou, Peng Cao et al.· Journal of Chemical Informat...· 1 citation
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.