SOLAR: AI-Powered Speed-of-Light Performance Analysis
SOLAR is introduced, a framework that automatically derives validated SOL bounds from PyTorch and JAX source code and provides comprehensive operator and language coverage, produces validated bounds with zero observed SOL violations, and offers multi-fidelity analysis that tightens bounds and surfaces optimization insi...