Image de couverture de livre

Active learning of digenic functions with boolean matrix logic programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ai, Lun, Muggleton, Stephen H., Liang, Shi-shun, Baldwin, Geoff S.
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Machine Learning Symbolic Computation Molecular Networks
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
par: Ai, Lun, et autres
Publié: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
par: Ai, Lun, et autres
Publié: (2024)

Adaptive Data-Knowledge Alignment in Genetic Perturbation Prediction
par: Xiang, Yuanfang, et autres
Publié: (2025)

Library learning with e-graphs on jazz harmony
par: Ren, Zeng, et autres
Publié: (2026)

Automated Loss function Search for Class-imbalanced Node Classification
par: Guo, Xinyu, et autres
Publié: (2024)

Agent-centric learning: from external reward maximization to internal knowledge curation
par: Zhou, Hanqi, et autres
Publié: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
par: Dinu, Marius-Constantin, et autres
Publié: (2024)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
par: Li, Zihao, et autres
Publié: (2024)

Network reduction and absence of Hopf Bifurcations in dual phosphorylation networks with three Intermediates
par: Feliu, Elisenda, et autres
Publié: (2024)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Explanatory machine learning for sequential human teaching
par: Ai, Lun, et autres
Publié: (2022)

Unsupervised Symbolic Anomaly Detection
par: Hossain, Md Maruf, et autres
Publié: (2026)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
par: Deng, Ou, et autres
Publié: (2025)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
par: Hu, Chengpeng, et autres
Publié: (2026)

Symbolic Foundation Regressor on Complex Networks
par: Liu, Weiting, et autres
Publié: (2025)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
par: Ünsal, Mert, et autres
Publié: (2024)

Neural Concept Binder
par: Stammer, Wolfgang, et autres
Publié: (2024)

Generalized Holographic Reduced Representations
par: Yeung, Calvin, et autres
Publié: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
par: Saegert, Paul, et autres
Publié: (2026)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
par: Sheneman, Lucas
Publié: (2026)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
par: Tian, Yuan, et autres
Publié: (2025)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
par: Bougzime, Oualid, et autres
Publié: (2025)

Certified geometric robustness -- Super-DeepG
par: Cohen, Noémie, et autres
Publié: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
par: Wang, Kevin, et autres
Publié: (2026)

ViSymRe: Vision Multimodal Symbolic Regression
par: Li, Da, et autres
Publié: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
par: Camposampiero, Giacomo, et autres
Publié: (2024)

UniSymNet: A Unified Symbolic Network Guided by Transformer
par: Li, Xinxin, et autres
Publié: (2025)

Improving Neural-based Classification with Logical Background Knowledge
par: Ledaguenel, Arthur, et autres
Publié: (2024)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
par: Jiang, Nan, et autres
Publié: (2025)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
par: Labre, Marcelo
Publié: (2026)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
par: Hersche, Michael, et autres
Publié: (2024)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
par: Chen, Tianhao, et autres
Publié: (2024)

Multi-Operational Mathematical Derivations in Latent Space
par: Valentino, Marco, et autres
Publié: (2023)

Terminating Differentiable Tree Experts
par: Thomm, Jonathan, et autres
Publié: (2024)

Pin-Tuning: Parameter-Efficient In-Context Tuning for Few-Shot Molecular Property Prediction
par: Wang, Liang, et autres
Publié: (2024)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
par: Zou, Haohan, et autres
Publié: (2025)

Identifying Causal Effects Under Functional Dependencies
par: Chen, Yizuo, et autres
Publié: (2024)

Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
par: Hoang, Danny, et autres
Publié: (2025)

HODDI: A Dataset of High-Order Drug-Drug Interactions for Computational Pharmacovigilance
par: Wang, Zhaoying, et autres
Publié: (2025)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
par: Kramer, Boris, et autres
Publié: (2025)