Author

Rafael Cabral

Observed name: Cabral, Rafael

Institutions: Huawei Technologies (China), Huawei Technologies (United Kingdom)

Observed institutions: National University of Singapore, Huawei Technologies (China), Huawei Technologies (United Kingdom)

OpenAlex ID: A5120275581

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization

2025 · Cabral, Rafael, Do, Tuan Manh, et al. · arXiv (Cornell University) · 1

Scalable Bayesian Clustering for Integrative Analysis of Multi-View Data

2024 · Gianella, Matteo, Cabral, Rafael, et al. · arXiv (Cornell University) · 1

Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation

2026 · Cabral, Rafael, Zixi, Pang, et al. · arXiv (Cornell University)

Works count: 3

Citation count: 1

H-index: 1

I10-index: