Nick Byrd, Ph.D.<p>How can we scale up the translation of ordinary sentences into formal <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a>?</p><p>Bui et al. “introduce Text-JEPA (Text-based Joint-Embedding Predictive Architecture), …for converting natural language into first-order logic (NL2FOL).”</p><p><a href="https://doi.org/10.48550/arXiv.2507.20491" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.48550/arXiv.2507.20</span><span class="invisible">491</span></a></p><p><a href="https://nerdculture.de/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://nerdculture.de/tags/cogSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cogSci</span></a> <a href="https://nerdculture.de/tags/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLP</span></a> <a href="https://nerdculture.de/tags/edu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>edu</span></a></p>