Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-06-022025-06-022025https://fis.uni-bamberg.de/handle/uniba/108501engFaithful Logic Embeddings in HOL : Deep and Shallowpreprint10.48550/arxiv.2502.193112502.19311