A categorical account of composition methods in logic (extended version).

Tomas Jakl Dan Marsden Nihil Shah

Published in: CoRR (2024)

Keyphrases

computationally expensive
preprocessing
benchmark datasets
real time
information retrieval
reinforcement learning
neural network
image processing
computational cost
empirical studies
qualitative and quantitative