NSF #2546787
Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations
Active
- Amount
- $200K–$300K
- Period
- 2026-05-01 → 2029-04-30
- PIs
- 1
Awarded at Rutgers University New Brunswick