We introduce LLaMA, a collection of foundation language models ranging f...
The formalization of existing mathematical proofs is a notoriously diffi...
We propose an online training procedure for a transformer-based automate...
Most algorithms for representation learning and link prediction in relat...
Graph embedding methods produce unsupervised node features from graphs t...
The problem of Knowledge Base Completion can be framed as a 3rd-order bi...
We present TorchCraft, a library that enables deep learning research on
...