NSF Accelerating Computing-Enabled Scientific Discovery

Stream: general

[Steven Clontz]

What new methods are needed to ensure correctness, reliability, robustness, reproducibility, safety, and efficiency of workflow across multiple scientific domains? Examples include [...] proof checking and hypothesis generation (e.g., via interactive theorem provers).

https://new.nsf.gov/funding/opportunities/aced-accelerating-computing-enabled-scientific/nsf24-541/solicitation?WT.mc_ev=click&WT.mc_id=&utm_medium=email&utm_source=govdelivery