Relational decomposition for program synthesis
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Hocquette, Céline, Cropper, Andrew |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)
par: Hocquette, Céline, et autres
Publié: (2023)
Learning logic programs by finding minimal unsatisfiable subprograms
par: Cropper, Andrew, et autres
Publié: (2024)
par: Cropper, Andrew, et autres
Publié: (2024)
An Empirical Comparison of Cost Functions in Inductive Logic Programming
par: Hocquette, Céline, et autres
Publié: (2025)
par: Hocquette, Céline, et autres
Publié: (2025)
Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)
par: Hocquette, Céline, et autres
Publié: (2024)
Symmetry breaking for inductive logic programming
par: Cropper, Andrew, et autres
Publié: (2025)
par: Cropper, Andrew, et autres
Publié: (2025)
Can humans teach machines to code?
par: Hocquette, Céline, et autres
Publié: (2024)
par: Hocquette, Céline, et autres
Publié: (2024)
Honey, I shrunk the hypothesis space (through logical preprocessing)
par: Cropper, Andrew, et autres
Publié: (2025)
par: Cropper, Andrew, et autres
Publié: (2025)
Relating tSNE and UMAP to Classical Dimensionality Reduction
par: Draganov, Andrew, et autres
Publié: (2023)
par: Draganov, Andrew, et autres
Publié: (2023)
Two-level deep domain decomposition method
par: Dolean, Victorita, et autres
Publié: (2024)
par: Dolean, Victorita, et autres
Publié: (2024)
What Do Large Language Models Know? Tacit Knowledge as a Potential Causal-Explanatory Structure
par: Budding, Céline
Publié: (2025)
par: Budding, Céline
Publié: (2025)
Neurosymbolic Conformal Classification
par: Ledaguenel, Arthur, et autres
Publié: (2024)
par: Ledaguenel, Arthur, et autres
Publié: (2024)
ProvMind: Provenance-grounded reasoning for materials synthesis
par: Zhang, Yiming, et autres
Publié: (2026)
par: Zhang, Yiming, et autres
Publié: (2026)
Bond Graphs for multi-physics informed Neural Networks for multi-variate time series
par: Brachet, Alexis-Raja, et autres
Publié: (2024)
par: Brachet, Alexis-Raja, et autres
Publié: (2024)
Time Series Forecasting Through the Lens of Dynamics
par: Brachet, Alexis-Raja, et autres
Publié: (2025)
par: Brachet, Alexis-Raja, et autres
Publié: (2025)
Quantifying constraint hierarchies in Bayesian PINNs via per-constraint Hessian decomposition
par: Landgren, Filip
Publié: (2025)
par: Landgren, Filip
Publié: (2025)
ShiftAddViT: Mixture of Multiplication Primitives Towards Efficient Vision Transformer
par: You, Haoran, et autres
Publié: (2023)
par: You, Haoran, et autres
Publié: (2023)
Agentic reinforcement learning empowers next-generation chemical language models for molecular design and synthesis
par: Li, Hao, et autres
Publié: (2026)
par: Li, Hao, et autres
Publié: (2026)
Traffic flow forecasting, STL decomposition, Hybrid model, LSTM, ARIMA, XGBoost, Intelligent transportation systems
par: Yuan, Fujiang, et autres
Publié: (2025)
par: Yuan, Fujiang, et autres
Publié: (2025)
Towards a perturbation-based explanation for medical AI as differentiable programs
par: Abe, Takeshi, et autres
Publié: (2025)
par: Abe, Takeshi, et autres
Publié: (2025)
Quantum circuit synthesis with diffusion models
par: Fürrutter, Florian, et autres
Publié: (2023)
par: Fürrutter, Florian, et autres
Publié: (2023)
ShiftAddNAS: Hardware-Inspired Search for More Accurate and Efficient Neural Networks
par: You, Haoran, et autres
Publié: (2022)
par: You, Haoran, et autres
Publié: (2022)
MixGCN: Scalable GCN Training by Mixture of Parallelism and Mixture of Accelerators
par: Wan, Cheng, et autres
Publié: (2025)
par: Wan, Cheng, et autres
Publié: (2025)
BlockBatch: Multi-Scale Consensus Decoding for Efficient Diffusion Language Model Inference
par: Wu, Xiaoyou, et autres
Publié: (2026)
par: Wu, Xiaoyou, et autres
Publié: (2026)
Improving Neural-based Classification with Logical Background Knowledge
par: Ledaguenel, Arthur, et autres
Publié: (2024)
par: Ledaguenel, Arthur, et autres
Publié: (2024)
Relational Reasoning Networks
par: Marra, Giuseppe, et autres
Publié: (2021)
par: Marra, Giuseppe, et autres
Publié: (2021)
Structured Relational Representations
par: Kumar, Arun, et autres
Publié: (2025)
par: Kumar, Arun, et autres
Publié: (2025)
Surrogate Fitness Metrics for Interpretable Reinforcement Learning
par: Altmann, Philipp, et autres
Publié: (2025)
par: Altmann, Philipp, et autres
Publié: (2025)
Group Relative Knowledge Distillation: Learning from Teacher's Relational Inductive Bias
par: Li, Chao, et autres
Publié: (2025)
par: Li, Chao, et autres
Publié: (2025)
Link Prediction with Relational Hypergraphs
par: Huang, Xingyue, et autres
Publié: (2024)
par: Huang, Xingyue, et autres
Publié: (2024)
Relational Neurosymbolic Markov Models
par: De Smet, Lennert, et autres
Publié: (2024)
par: De Smet, Lennert, et autres
Publié: (2024)
Relational Causal Discovery with Latent Confounders
par: Negro, Matteo, et autres
Publié: (2025)
par: Negro, Matteo, et autres
Publié: (2025)
Multimodal Function Vectors for Visual Relations
par: Fu, Shuhao, et autres
Publié: (2025)
par: Fu, Shuhao, et autres
Publié: (2025)
TQCompressor: improving tensor decomposition methods in neural networks via permutations
par: Abronin, V., et autres
Publié: (2024)
par: Abronin, V., et autres
Publié: (2024)
On the Relation Between Linear Diffusion and Power Iteration
par: Weitzner, Dana, et autres
Publié: (2024)
par: Weitzner, Dana, et autres
Publié: (2024)
TreeRPO: Tree Relative Policy Optimization
par: Yang, Zhicheng, et autres
Publié: (2025)
par: Yang, Zhicheng, et autres
Publié: (2025)
Relational Conformal Prediction for Correlated Time Series
par: Cini, Andrea, et autres
Publié: (2025)
par: Cini, Andrea, et autres
Publié: (2025)
Guided Exploration for Efficient Relational Model Learning
par: Feng, Annie, et autres
Publié: (2025)
par: Feng, Annie, et autres
Publié: (2025)
Multimodal Representation Learning Conditioned on Semantic Relations
par: Qiao, Yang, et autres
Publié: (2025)
par: Qiao, Yang, et autres
Publié: (2025)
Improve Machine Learning carbon footprint using Parquet dataset format and Mixed Precision training for regression models -- Part II
par: Antonopoulos, Andrew
Publié: (2024)
par: Antonopoulos, Andrew
Publié: (2024)
Systematic Relational Reasoning With Epistemic Graph Neural Networks
par: Khalid, Irtaza, et autres
Publié: (2024)
par: Khalid, Irtaza, et autres
Publié: (2024)
Documents similaires
-
Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023) -
Learning logic programs by finding minimal unsatisfiable subprograms
par: Cropper, Andrew, et autres
Publié: (2024) -
An Empirical Comparison of Cost Functions in Inductive Logic Programming
par: Hocquette, Céline, et autres
Publié: (2025) -
Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024) -
Symmetry breaking for inductive logic programming
par: Cropper, Andrew, et autres
Publié: (2025)