Symbolic Neural Generation with Applications to Lead Discovery in Drug Design
cs.LG, cs.AI, cs.NE, q-bio.BM
Submitted: 2025-10-27
Updated: 2026-05-30
Code: https://github.com/tirtharajdash/LMLFStar
Terminology
Sources
- Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
- Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
- Defining neurosymbolic AI
- The DeepLog Neurosymbolic Machine
- Data-Efficient Graph Grammar Learning for Molecular Generation
- LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
- Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks