12 papers
The ack3 H1 2026 DeFi Incident Dataset: Audit Scope Across 135 Security Incidents
Josef Gattermayer, Jan Kalivoda, Arman Bašović
Smart-contract audits cover defined artifacts at a specific time, but the label audited is often treated as project-wide assurance. We analyze audit history and incident-path scope…
On the Importance of Geometric Nonlinearity and Temperature-Dependent Properties in Multi-Material Thermo-Mechanical Topology Optimization
Shirin Hosseinmardi, Xiangyu Sun, Ramin Bostanabad
Thermo-mechanical compliant devices are commonly designed with small-strain linear elasticity and temperature-independent material properties, even though they might operate hundre…
Geometry-Aware Post-Hoc Uncertainty Quantification in Operator Learning
Oriol Vendrell-Gallart, Nima Negarandeh, Ramin Bostanabad
Neural operators provide fast surrogates for PDEs but their deterministic predictions limit their use in tasks requiring uncertainty quantification (UQ), especially under geometric…
On the Uncertainty Quantification Ability of Tabular Foundation Models
Tyler R. Johnson, Kian Ben-Jacob, Nima Negarandeh +2
Foundation models (FMs) have achieved substantial success in generalizing across tasks without problemspecific training or fine-tuning. However, many critical applications in mecha…
Multi-material Multi-physics Topology Optimization with Physics-informed Gaussian Process Priors
Xiangyu Sun, Shirin Hosseinmardi, Amin Yousefpour +1
Machine learning (ML) has been increasingly used for topology optimization (TO). However, most existing ML-based approaches focus on simplified benchmark problems due to their high…
Compliance Minimization via Physics-Informed Gaussian Processes
Xiangyu Sun, Amin Yousefpour, Shirin Hosseinmardi +1
Machine learning (ML) techniques have recently gained significant attention for solving compliance minimization (CM) problems. However, these methods typically provide poor feature…