Picture for Aurélien Rodriguez

Aurélien Rodriguez

Command A: An Enterprise-Ready Large Language Model

Add code
Apr 01, 2025
Viaarxiv icon

HyperTree Proof Search for Neural Theorem Proving

Add code
May 23, 2022
Figure 1 for HyperTree Proof Search for Neural Theorem Proving
Figure 2 for HyperTree Proof Search for Neural Theorem Proving
Figure 3 for HyperTree Proof Search for Neural Theorem Proving
Figure 4 for HyperTree Proof Search for Neural Theorem Proving
Viaarxiv icon