
Optimizing Neural Embeddings for Horn Logic Reasoning
This research introduces novel methods for creating high-quality numeric embeddings to improve the efficiency of logical reasoning searches. By utilizing triplet loss with balanced example generation, the authors demonstrate improved performance in downstream reasoning tasks.


