Rafael Cabral
rafaelcabral96
ยท
AI & ML interests
None yet
Recent Activity
authored a paper about 15 hours ago
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization updated a dataset about 20 hours ago
rafaelcabral96/PyGeoX published a dataset about 20 hours ago
rafaelcabral96/PyGeoXOrganizations
None yet