Cover Image

Honey, I shrunk the hypothesis space (through logical preprocessing)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cropper, Andrew, Gouveia, Filipe, Cerna, David M.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symmetry breaking for inductive logic programming
by: Cropper, Andrew, et al.
Published: (2025)

Scalable Knowledge Refactoring using Constrained Optimisation
by: Liu, Minghao, et al.
Published: (2024)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

Relational decomposition for program synthesis
by: Hocquette, Céline, et al.
Published: (2024)

Efficient rule induction by ignoring pointless rules
by: Cropper, Andrew, et al.
Published: (2025)

Generalisation Through Negation and Predicate Invention
by: Cerna, David M., et al.
Published: (2023)

Empirical influence functions to understand the logic of fine-tuning
by: Matelsky, Jordan K., et al.
Published: (2024)

Preserving logical and functional dependencies in synthetic tabular data
by: Umesh, Chaithra, et al.
Published: (2024)

HoneyBee: A Scalable Modular Framework for Creating Multimodal Oncology Datasets with Foundational Embedding Models
by: Tripathi, Aakash, et al.
Published: (2024)

Data Augmentation Improves Machine Unlearning
by: Falcao, Andreza M. C., et al.
Published: (2025)

Learning logic programs by finding minimal unsatisfiable subprograms
by: Cropper, Andrew, et al.
Published: (2024)

BACON: A fully explainable AI model with graded logic for decision making problems
by: Bai, Haishi, et al.
Published: (2025)

Multimodal Deep Learning for Low-Resource Settings: A Vector Embedding Alignment Approach for Healthcare Applications
by: Restrepo, David, et al.
Published: (2024)

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Efficient Modular Learning through Naive LoRA Summation: Leveraging Orthogonality in High-Dimensional Models
by: Cao, Zhanhao, et al.
Published: (2025)

Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation
by: Correa, Andrew G. A., et al.
Published: (2025)

Discrete, compositional, and symbolic representations through attractor dynamics
by: Nam, Andrew, et al.
Published: (2023)

Improving Protein Sequence Design through Designability Preference Optimization
by: Xue, Fanglei, et al.
Published: (2025)

Explainable Diagnosis Prediction through Neuro-Symbolic Integration
by: Lu, Qiuhao, et al.
Published: (2024)

Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation
by: Cassidy, Andrew S., et al.
Published: (2025)

Exploring the design space of deep-learning-based weather forecasting systems
by: Siddiqui, Shoaib Ahmed, et al.
Published: (2024)

Anomaly detection in time-series via inductive biases in the latent space of conditional normalizing flows
by: Baumgartner, David, et al.
Published: (2026)

The VampPrior Mixture Model
by: Stirn, Andrew A., et al.
Published: (2024)

IGDA: Interactive Graph Discovery through Large Language Model Agents
by: Havrilla, Alex, et al.
Published: (2025)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
by: Zhang, Liao, et al.
Published: (2024)

Interpretable Hierarchical Concept Reasoning through Attention-Guided Graph Learning
by: Debot, David, et al.
Published: (2025)

MoE-I$^2$: Compressing Mixture of Experts Models through Inter-Expert Pruning and Intra-Expert Low-Rank Decomposition
by: Yang, Cheng, et al.
Published: (2024)

Multimodal hierarchical Variational AutoEncoders with Factor Analysis latent space
by: Guerrero-López, Alejandro, et al.
Published: (2022)

Posterior Mean Matching: Generative Modeling through Online Bayesian Inference
by: Salazar, Sebastian, et al.
Published: (2024)

In-Context Reinforcement Learning through Bayesian Fusion of Context and Value Prior
by: Berkes, Anaïs, et al.
Published: (2026)

Towards Verified and Targeted Explanations through Formal Methods
by: Wang, Hanchen David, et al.
Published: (2026)

Red grape detection with accelerated artificial neural networks in the FPGA's programmable logic
by: Magalhães, Sandro Costa, et al.
Published: (2025)

Approaching Deep Learning through the Spectral Dynamics of Weights
by: Yunis, David, et al.
Published: (2024)

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

Reorganizing attention-space geometry with expressive attention
by: Gros, Claudius
Published: (2024)

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

Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers
by: Burgess, Mark A., et al.
Published: (2024)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
by: Weitkämper, Felix
Published: (2021)

Improving Reproducibility in Evaluation through Multi-Level Annotator Modeling
by: Pandita, Deepak, et al.
Published: (2026)