Cover Image

Active learning of digenic functions with boolean matrix logic programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ai, Lun, Muggleton, Stephen H., Liang, Shi-shun, Baldwin, Geoff S.
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Symbolic Computation Molecular Networks
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
by: Ai, Lun, et al.
Published: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

Adaptive Data-Knowledge Alignment in Genetic Perturbation Prediction
by: Xiang, Yuanfang, et al.
Published: (2025)

Library learning with e-graphs on jazz harmony
by: Ren, Zeng, et al.
Published: (2026)

Automated Loss function Search for Class-imbalanced Node Classification
by: Guo, Xinyu, et al.
Published: (2024)

Agent-centric learning: from external reward maximization to internal knowledge curation
by: Zhou, Hanqi, et al.
Published: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
by: Dinu, Marius-Constantin, et al.
Published: (2024)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
by: Li, Zihao, et al.
Published: (2024)

Network reduction and absence of Hopf Bifurcations in dual phosphorylation networks with three Intermediates
by: Feliu, Elisenda, et al.
Published: (2024)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Explanatory machine learning for sequential human teaching
by: Ai, Lun, et al.
Published: (2022)

Unsupervised Symbolic Anomaly Detection
by: Hossain, Md Maruf, et al.
Published: (2026)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
by: Deng, Ou, et al.
Published: (2025)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
by: Hu, Chengpeng, et al.
Published: (2026)

Symbolic Foundation Regressor on Complex Networks
by: Liu, Weiting, et al.
Published: (2025)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

Neural Concept Binder
by: Stammer, Wolfgang, et al.
Published: (2024)

Generalized Holographic Reduced Representations
by: Yeung, Calvin, et al.
Published: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
by: Saegert, Paul, et al.
Published: (2026)

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

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
by: Tian, Yuan, et al.
Published: (2025)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
by: Bougzime, Oualid, et al.
Published: (2025)

Certified geometric robustness -- Super-DeepG
by: Cohen, Noémie, et al.
Published: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
by: Wang, Kevin, et al.
Published: (2026)

ViSymRe: Vision Multimodal Symbolic Regression
by: Li, Da, et al.
Published: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
by: Camposampiero, Giacomo, et al.
Published: (2024)

UniSymNet: A Unified Symbolic Network Guided by Transformer
by: Li, Xinxin, et al.
Published: (2025)

Improving Neural-based Classification with Logical Background Knowledge
by: Ledaguenel, Arthur, et al.
Published: (2024)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)

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

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
by: Hersche, Michael, et al.
Published: (2024)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
by: Chen, Tianhao, et al.
Published: (2024)

Multi-Operational Mathematical Derivations in Latent Space
by: Valentino, Marco, et al.
Published: (2023)

Terminating Differentiable Tree Experts
by: Thomm, Jonathan, et al.
Published: (2024)

Pin-Tuning: Parameter-Efficient In-Context Tuning for Few-Shot Molecular Property Prediction
by: Wang, Liang, et al.
Published: (2024)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
by: Zou, Haohan, et al.
Published: (2025)

Identifying Causal Effects Under Functional Dependencies
by: Chen, Yizuo, et al.
Published: (2024)

Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
by: Hoang, Danny, et al.
Published: (2025)

HODDI: A Dataset of High-Order Drug-Drug Interactions for Computational Pharmacovigilance
by: Wang, Zhaoying, et al.
Published: (2025)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
by: Kramer, Boris, et al.
Published: (2025)