ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
Paper • 2510.15981 • Published • 1
Rafael Cabral
rafaelcabral96
·
AI & ML interests
None yet
Recent Activity
authored a paper 1 day ago
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization updated a dataset 1 day ago
rafaelcabral96/PyGeoX published a dataset 1 day ago
rafaelcabral96/PyGeoXOrganizations
None yet
authored a
paper 1 day ago
updated a
dataset 1 day ago
published a
dataset 1 day ago
upvoted a paper 1 day ago
updated a
dataset 1 day ago
published a
dataset 1 day ago