Rafael Cabral

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization.

Rafael Cabral, Tuan Manh Do, Xuejun Yu, Wai Ming Tai, Zijin Feng, Shen Xin

CoRR, October, 2025

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

Rafael Cabral, Maria De Iorio, Andrew Harris

Digit. Scholarsh. Humanit., 2025

2024

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

Piotr Olaszek, Edgar Maciejewski, Anna Rakoczy, Rafael Cabral, Ricardo Santos, Diogo Ribeiro

Remote. Sens., 2024