Gespeichert in:
| Hauptverfasser: | Ai, Lun, Muggleton, Stephen H., Liang, Shi-shun, Baldwin, Geoff S. |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2408.14487 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
von: Ai, Lun, et al.
Veröffentlicht: (2024)
von: Ai, Lun, et al.
Veröffentlicht: (2024)
Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)
von: Ai, Lun, et al.
Veröffentlicht: (2024)
Adaptive Data-Knowledge Alignment in Genetic Perturbation Prediction
von: Xiang, Yuanfang, et al.
Veröffentlicht: (2025)
von: Xiang, Yuanfang, et al.
Veröffentlicht: (2025)
Library learning with e-graphs on jazz harmony
von: Ren, Zeng, et al.
Veröffentlicht: (2026)
von: Ren, Zeng, et al.
Veröffentlicht: (2026)
SymbolicAI: A framework for logic-based approaches combining generative models and solvers
von: Dinu, Marius-Constantin, et al.
Veröffentlicht: (2024)
von: Dinu, Marius-Constantin, et al.
Veröffentlicht: (2024)
APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
von: Li, Zihao, et al.
Veröffentlicht: (2024)
von: Li, Zihao, et al.
Veröffentlicht: (2024)
Agent-centric learning: from external reward maximization to internal knowledge curation
von: Zhou, Hanqi, et al.
Veröffentlicht: (2025)
von: Zhou, Hanqi, et al.
Veröffentlicht: (2025)
Automated Loss function Search for Class-imbalanced Node Classification
von: Guo, Xinyu, et al.
Veröffentlicht: (2024)
von: Guo, Xinyu, et al.
Veröffentlicht: (2024)
Network reduction and absence of Hopf Bifurcations in dual phosphorylation networks with three Intermediates
von: Feliu, Elisenda, et al.
Veröffentlicht: (2024)
von: Feliu, Elisenda, et al.
Veröffentlicht: (2024)
Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)
von: Ai, Lun
Veröffentlicht: (2024)
Explanatory machine learning for sequential human teaching
von: Ai, Lun, et al.
Veröffentlicht: (2022)
von: Ai, Lun, et al.
Veröffentlicht: (2022)
Unsupervised Symbolic Anomaly Detection
von: Hossain, Md Maruf, et al.
Veröffentlicht: (2026)
von: Hossain, Md Maruf, et al.
Veröffentlicht: (2026)
Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
von: Deng, Ou, et al.
Veröffentlicht: (2025)
von: Deng, Ou, et al.
Veröffentlicht: (2025)
Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
von: Hu, Chengpeng, et al.
Veröffentlicht: (2026)
von: Hu, Chengpeng, et al.
Veröffentlicht: (2026)
Symbolic Foundation Regressor on Complex Networks
von: Liu, Weiting, et al.
Veröffentlicht: (2025)
von: Liu, Weiting, et al.
Veröffentlicht: (2025)
AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
von: Ünsal, Mert, et al.
Veröffentlicht: (2024)
von: Ünsal, Mert, et al.
Veröffentlicht: (2024)
Neural Concept Binder
von: Stammer, Wolfgang, et al.
Veröffentlicht: (2024)
von: Stammer, Wolfgang, et al.
Veröffentlicht: (2024)
Generalized Holographic Reduced Representations
von: Yeung, Calvin, et al.
Veröffentlicht: (2024)
von: Yeung, Calvin, et al.
Veröffentlicht: (2024)
Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
von: Saegert, Paul, et al.
Veröffentlicht: (2026)
von: Saegert, Paul, et al.
Veröffentlicht: (2026)
The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
von: Sheneman, Lucas
Veröffentlicht: (2026)
von: Sheneman, Lucas
Veröffentlicht: (2026)
Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
von: Tian, Yuan, et al.
Veröffentlicht: (2025)
von: Tian, Yuan, et al.
Veröffentlicht: (2025)
Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
von: Bougzime, Oualid, et al.
Veröffentlicht: (2025)
von: Bougzime, Oualid, et al.
Veröffentlicht: (2025)
Certified geometric robustness -- Super-DeepG
von: Cohen, Noémie, et al.
Veröffentlicht: (2026)
von: Cohen, Noémie, et al.
Veröffentlicht: (2026)
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
von: Wang, Kevin, et al.
Veröffentlicht: (2026)
von: Wang, Kevin, et al.
Veröffentlicht: (2026)
ViSymRe: Vision Multimodal Symbolic Regression
von: Li, Da, et al.
Veröffentlicht: (2024)
von: Li, Da, et al.
Veröffentlicht: (2024)
Towards Learning Abductive Reasoning using VSA Distributed Representations
von: Camposampiero, Giacomo, et al.
Veröffentlicht: (2024)
von: Camposampiero, Giacomo, et al.
Veröffentlicht: (2024)
UniSymNet: A Unified Symbolic Network Guided by Transformer
von: Li, Xinxin, et al.
Veröffentlicht: (2025)
von: Li, Xinxin, et al.
Veröffentlicht: (2025)
Improving Neural-based Classification with Logical Background Knowledge
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
von: Jiang, Nan, et al.
Veröffentlicht: (2025)
von: Jiang, Nan, et al.
Veröffentlicht: (2025)
Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
von: Labre, Marcelo
Veröffentlicht: (2026)
von: Labre, Marcelo
Veröffentlicht: (2026)
Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
von: Hersche, Michael, et al.
Veröffentlicht: (2024)
von: Hersche, Michael, et al.
Veröffentlicht: (2024)
Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)
Multi-Operational Mathematical Derivations in Latent Space
von: Valentino, Marco, et al.
Veröffentlicht: (2023)
von: Valentino, Marco, et al.
Veröffentlicht: (2023)
Terminating Differentiable Tree Experts
von: Thomm, Jonathan, et al.
Veröffentlicht: (2024)
von: Thomm, Jonathan, et al.
Veröffentlicht: (2024)
Analytical Lyapunov Function Discovery: An RL-based Generative Approach
von: Zou, Haohan, et al.
Veröffentlicht: (2025)
von: Zou, Haohan, et al.
Veröffentlicht: (2025)
Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
von: Kramer, Boris, et al.
Veröffentlicht: (2025)
von: Kramer, Boris, et al.
Veröffentlicht: (2025)
Identifying Causal Effects Under Functional Dependencies
von: Chen, Yizuo, et al.
Veröffentlicht: (2024)
von: Chen, Yizuo, et al.
Veröffentlicht: (2024)
Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
von: Hoang, Danny, et al.
Veröffentlicht: (2025)
von: Hoang, Danny, et al.
Veröffentlicht: (2025)
Pin-Tuning: Parameter-Efficient In-Context Tuning for Few-Shot Molecular Property Prediction
von: Wang, Liang, et al.
Veröffentlicht: (2024)
von: Wang, Liang, et al.
Veröffentlicht: (2024)
Hierarchical Neuro-Symbolic Decision Transformer
von: Baheri, Ali, et al.
Veröffentlicht: (2025)
von: Baheri, Ali, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
von: Ai, Lun, et al.
Veröffentlicht: (2024) -
Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024) -
Adaptive Data-Knowledge Alignment in Genetic Perturbation Prediction
von: Xiang, Yuanfang, et al.
Veröffentlicht: (2025) -
Library learning with e-graphs on jazz harmony
von: Ren, Zeng, et al.
Veröffentlicht: (2026) -
SymbolicAI: A framework for logic-based approaches combining generative models and solvers
von: Dinu, Marius-Constantin, et al.
Veröffentlicht: (2024)