Cover Image

MolecularIQ: Characterizing Chemical Reasoning Capabilities Through Symbolic Verification on Molecular Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bartmann, Christoph, Schimunek, Johannes, Ielanskyi, Mykyta, Seidl, Philipp, Klambauer, Günter, Luukkonen, Sohvi
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Measuring AI Progress in Drug Discovery: A Reproducible Leaderboard for the Tox21 Challenge
by: Ebner, Antonia, et al.
Published: (2025)

Bio-xLSTM: Generative modeling, representation and in-context learning of biological and chemical sequences
by: Schmidinger, Niklas, et al.
Published: (2024)

Symbol-Equivariant Recurrent Reasoning Models
by: Freinschlag, Richard, et al.
Published: (2026)

Contrastive Geometric Learning Unlocks Unified Structure- and Ligand-Based Drug Design
by: Schneckenreiter, Lisa, et al.
Published: (2026)

On Information-Theoretic Measures of Predictive Uncertainty
by: Schweighofer, Kajetan, et al.
Published: (2024)

Addressing Pitfalls in the Evaluation of Uncertainty Estimation Methods for Natural Language Generation
by: Ielanskyi, Mykyta, et al.
Published: (2025)

Improving Uncertainty Estimation through Semantically Diverse Language Generation
by: Aichberger, Lukas, et al.
Published: (2024)

GNN-VPA: A Variance-Preserving Aggregation Strategy for Graph Neural Networks
by: Schneckenreiter, Lisa, et al.
Published: (2024)

VN-EGNN: E(3)-Equivariant Graph Neural Networks with Virtual Nodes Enhance Protein Binding Site Identification
by: Sestak, Florian, et al.
Published: (2024)

LaM-SLidE: Latent Space Modeling of Spatial Dynamical Systems via Linked Entities
by: Sestak, Florian, et al.
Published: (2025)

GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach
by: Cao, Lang
Published: (2023)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs
by: Fang, Jiwei, et al.
Published: (2025)

Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification
by: He, Paul, et al.
Published: (2026)

DiagnosticIQ: A Benchmark for LLM-Based Industrial Maintenance Action Recommendation from Symbolic Rules
by: De Silva, Devin Yasith, et al.
Published: (2026)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)

Learn to Think: Bootstrapping LLM Reasoning Capability Through Graph Representation Learning
by: Gao, Hang, et al.
Published: (2025)

A Large Recurrent Action Model: xLSTM enables Fast Inference for Robotics Tasks
by: Schmied, Thomas, et al.
Published: (2024)

xLSTM: Extended Long Short-Term Memory
by: Beck, Maximilian, et al.
Published: (2024)

Molecular Facts: Desiderata for Decontextualization in LLM Fact Verification
by: Gunjal, Anisha, et al.
Published: (2024)

Rethinking Losses for Diffusion Bridge Samplers
by: Sanokowski, Sebastian, et al.
Published: (2025)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
by: Feldstein, Jonathan, et al.
Published: (2024)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
by: Cornelio, Cristina, et al.
Published: (2025)

GPT-2 Through the Lens of Vector Symbolic Architectures
by: Knittel, Johannes, et al.
Published: (2024)

Foundation Molecular Grammar: Multi-Modal Foundation Models Induce Interpretable Molecular Graph Languages
by: Sun, Michael, et al.
Published: (2025)

MM-IQ: Benchmarking Human-Like Abstraction and Reasoning in Multimodal Models
by: Cai, Huanqia, et al.
Published: (2025)

VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension
by: Park, Hyejin, et al.
Published: (2026)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)

Understanding Transformer Reasoning Capabilities via Graph Algorithms
by: Sanford, Clayton, et al.
Published: (2024)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
by: Manginas, Vasileios, et al.
Published: (2025)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
by: Daggitt, Matthew L., et al.
Published: (2024)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
by: Wu, Shaonan, et al.
Published: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

GraphInstruct: Empowering Large Language Models with Graph Understanding and Reasoning Capability
by: Luo, Zihan, et al.
Published: (2024)

Structural Reasoning Improves Molecular Understanding of LLM
by: Jang, Yunhui, et al.
Published: (2024)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)