Image de couverture de livre

AI4S-SDS: A Neuro-Symbolic Solvent Design System via Sparse MCTS and Differentiable Physics Alignment

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Chen, Jiangyu
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Neuro-Symbolic Entity Alignment via Variational Inference
par: Chen, Shengyuan, et autres
Publié: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
par: Hinnerichs, Tilman, et autres
Publié: (2024)

Neuro-Symbolic AI for Military Applications
par: Hagos, Desta Haileselassie, et autres
Publié: (2024)

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
par: Nezhad, Sina Bagheri
Publié: (2026)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
par: Kohaut, Simon, et autres
Publié: (2024)

Neuro-Symbolic AI in 2024: A Systematic Review
par: Colelough, Brandon C., et autres
Publié: (2025)

Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI
par: Wan, Zishen, et autres
Publié: (2024)

Softened Symbol Grounding for Neuro-symbolic Systems
par: Li, Zenan, et autres
Publié: (2024)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
par: He, Baoding, et autres
Publié: (2026)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
par: Marconato, Emanuele, et autres
Publié: (2025)

COMPASS: Cognitive MCTS-Guided Process Alignment for Safe Search Agents
par: Shen, Wenkai, et autres
Publié: (2026)

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
par: Li, Bowen, et autres
Publié: (2024)

Automated Large-scale CVRP Solver Design via LLM-assisted Flexible MCTS
par: Guo, Tong, et autres
Publié: (2026)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
par: Aswal, Darpan, et autres
Publié: (2025)

Compositional Neuro-Symbolic Reasoning
par: Das, Anugyan, et autres
Publié: (2026)

Federated Neuro-Symbolic Learning
par: Xing, Pengwei, et autres
Publié: (2023)

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
par: Zhang, Xin, et autres
Publié: (2024)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
par: Zhang, Xin, et autres
Publié: (2024)

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
par: Arriaga, Octavio, et autres
Publié: (2025)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
par: Feldstein, Jonathan, et autres
Publié: (2024)

Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains
par: Kolli, Chaitanya Kumar
Publié: (2025)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
par: Jia, Lin-Han, et autres
Publié: (2025)

A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives
par: Hossain, Delower, et autres
Publié: (2025)

Structure and Reduction of MCTS for Explainable-AI
par: Bustin, Ronit, et autres
Publié: (2024)

Autonomous Business System via Neuro-symbolic AI
par: Pang, Cecil, et autres
Publié: (2026)

A Semantic Framework for Neuro-Symbolic Computing
par: Odense, Simon, et autres
Publié: (2022)

Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment
par: Jahn, Felix, et autres
Publié: (2026)

Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
par: Hakim, Safayat Bin, et autres
Publié: (2025)

Assured Autonomy with Neuro-Symbolic Perception
par: Hallyburton, R. Spencer, et autres
Publié: (2025)

Neuro-Symbolic Rule Lists
par: Xu, Sascha, et autres
Publié: (2024)

Evidence-Gated LLM Priors for Multi-Objective Bayesian Optimization
par: Chen, Jiangyu, et autres
Publié: (2026)

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
par: Wang, Zekun, et autres
Publié: (2025)

A Challenge to Build Neuro-Symbolic Video Agents
par: Shah, Sahil, et autres
Publié: (2025)

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
par: Ambati, Murari
Publié: (2025)

LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems
par: Virwani, Ronit, et autres
Publié: (2025)

MASTER: A Multi-Agent System with LLM Specialized MCTS
par: Gan, Bingzheng, et autres
Publié: (2025)

Neuro-Symbolic Verification on Instruction Following of LLMs
par: Su, Yiming, et autres
Publié: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
par: Li, Zenan, et autres
Publié: (2024)