3 ms·
Somebody needs to figure out how to merge language models with theorem proving. In fact, that might be the first step to AGI.
by Konohamaru 4y ago
Somebody needs to figure out how to merge language models with theorem proving. In fact, that might be the first step to AGI.
- globuous 4y agoThat’s the topic of my thesis ! Here’s some work by open ai doing exactly that ! :) https://arxiv.org/abs/2202.01344 https://arxiv.org/abs/2202.01344