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