Rafael Cabral

Orcid: 0000-0002-9214-4823

According to our database¹, Rafael Cabral authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization.

[DOI]

CoRR, October, 2025

From coin to data: the impact of object detection on digital numismatics.

[DOI]

Digit. Scholarsh. Humanit., 2025

2024

Remote Inspection of Bridges with the Integration of Scanning Total Station and Unmanned Aerial Vehicle Data.

[DOI]

Remote. Sens., 2024