Category
2,878 papers
This paper claims that an in-depth investigation of the adversarial robustness of NeSy models is necessary and provides the first systematic evaluation of backdoor attacks against NeSy, and shows that while NeSy models are indeed more robust than their neural counterpart on average, their robustness vastly depend on th...
Experiments on ModelNet40 point clouds, arbitrary-view projections, and segmented optical observations demonstrate that NeuSOGA transforms diverse observations into compact symbolic representations while preserving essential geometric and topological structure across sensing modalities and viewing directions.
It is found that an organization's choices on measurement models for feature and labels, business requirements, model validation, and the metric of model success have as much or more impact on the generated counterfactuals as the specifics of the generating method.
This work instantiates science sandboxes, a framework for studying this capability in AI agents through repeated cycles of experimentation, feedback, and hypothesis revision, in two biological settings, models of regulatory genomics and protein fitness prediction, and examines the capabilities of frontier agents.
Reach audiences
Advertise in front of researchers, engineers, and readers.
While multi-agent LLM pipelines show real promise for legacy code specifically, since their capacity for autonomous context reconstruction and iterative, feedback-driven refinement directly addresses the sparse documentation and thin test coverage that define legacy environments, the literature to date has been validat...
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.
This study advances the human-machine commerce literature by examining and explaining the rationality paradox, and extends traditional unidirectional PSI into bidirectional algorithmic synergy, demonstrating how distinct dimensions of AI literacy act as either propulsive accelerators or cognitive brakes in high-arousal...
This system framework provides an efficient and interpretable solution for compliance verification, verifying the feasibility of lightweight AI in vertical fields and can also provide key data support for active and passive safety research such as the prevention of pedal misoperation in electric commercial vehicles.
This review provides a comprehensive overview of covalent docking algorithms, systematically categorizing their approaches according to covalent bond formation, which primarily include tethered docking, biased docking, and dynamic covalent docking approaches.
NavDB is a specialized and open-access database focusing on VGSC modulators and targets that integrates 8023 curated data records covering 5168 compounds, including small molecules, toxins, drugs, and peptides, along with comprehensive annotations on biological activity, druggability, and structural feature.
An explainable intelligence computational framework, Symbolic Trajectory-Embedded Dark Causal Interaction Inference (STE-DC2I), which combines symbolic trajectory embedding with historical prediction mechanisms to model nonmonotonic oscillatory dependencies between genes in CRC subtypes offers interpretable insights an...
This Account describes a computational and AI-driven ecosystem for structure-based covalent drug discovery and dives into a suite of cutting-edge, AI-driven computational methods, exploring the potential of deep learning in tasks such as molecular docking, covalent binding site prediction, and lead optimization.
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Data Mining & Modeling
A Blog post by Dharma-AI on Hugging Face
Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the rules: The hacker mindset appeared first on Microsoft Research.
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
The MIT professors collaborated to identify the first AI-discovered antibiotic, a scientific breakthrough that is widely recognized as a milestone in AI-driven drug discovery.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
