4 papers
FACTS-MAS: A Multi-Agent Architecture for Adaptive Forecasting from Heterogeneous Evidence
Madumita Karthikeyan, Umang Rajnikant Bid, Rong Pan
Real-world forecasting often requires integrating heterogeneous evidence whose predictive value varies across horizons, operating regimes, and domains. We introduce FACTS-MAS, a do…
Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation
Hansol Suh, Jan Hückelheim, Stephen Siegel
Parallel numerical libraries such as PETSc are widely used in science and engineering applications where wrong results can have costly consequences. Despite this, numerical librari…
A Portable and Versatile Limited-Memory BFGS Implementation in PETSc/TAO
Hansol Suh, Tobin Isaac, Alp Dener +3
The limited-memory BFGS (L-BFGS) Hessian update scheme is the critical kernel in many quasi-Newton optimization algorithms. The most common approach to implementing L-BFGS uses $2m…
PETSc/TAO Developments for GPU-Based Early Exascale Systems
Richard Tran Mills, Mark Adams, Satish Balay +9
The Portable Extensible Toolkit for Scientific Computation (PETSc) library provides scalable solvers for nonlinear time-dependent differential and algebraic equations and for numer…