Robuta

https://arxiv.org/abs/2306.00498 [2306.00498] Automated theorem proving in first-order logic modulo: on the difference between type... Abstract page for arXiv paper 2306.00498: Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory https://arxiv.org/abs/2506.00498 [2506.00498] UNSURF: Uncertainty Quantification for Cortical Surface Reconstruction of Clinical... Abstract page for arXiv paper 2506.00498: UNSURF: Uncertainty Quantification for Cortical Surface Reconstruction of Clinical Brain MRIs uncertainty quantification surface reconstruction 2506 00498 https://arxiv.org/abs/1602.00498 [1602.00498] The Berenstein-Zelevinsky quantum cluster algebra conjecture Abstract page for arXiv paper 1602.00498: The Berenstein-Zelevinsky quantum cluster algebra conjecture cluster algebra 1602 00498 berenstein zelevinsky