3 papers
cs.CL2026
MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities
Nicolas Sibuet, Horacio Saggion, Riccardo Rossi
The automatic translation of mathematical expressions in scientific literature into executable symbolic code (a process we refer to as Formula Formalization) is hindered by a sever…
cs.LG2025
A discrete physics-informed training for projection-based reduced order models with neural networks
N. Sibuet, S. Ares de Parga, J. R. Bravo +1
This paper presents a physics-informed training framework for projection-based Reduced Order Models (ROMs). We extend the PROM-ANN architecture by complementing snapshot-based trai…
cs.DC2025
Parallel Reduced Order Modeling for Digital Twins using High-Performance Computing Workflows
S. Ares de Parga, J. R. Bravo, N. Sibuet +9
The integration of reduced-order models (ROMs) with high-performance computing (HPC) is critical for developing digital twins, particularly for real-time monitoring and predictive…