TY  - RPRT
TI  - High Quality Embeddings for Horn Logic Reasoning
AU  - Yifan Zhang
AU  - Yasir White
AU  - Dean Clark
AU  - Joseph Sanchez
AU  - Jevon Lipsey
AU  - Ashely Hirst
AU  - Jeff Heflin
PY  - 2026
UR  - https://arxiv.org/abs/2605.20467
ID  - 2605.20467
ER  -