The Automated Reasoning Grant Program is requesting applications to support research proposals in automated reasoning, focusing on mathematical logic and formal methods to improve the security, correctness, and robustness of computing systems. The program seeks to foster innovation in areas such as neurosymbolic reasoning, interfaces between large language models and theorem provers, symbolic reasoning for
Access Restricted: Members-Only Content. We're sorry, but this content is available exclusively to our subscribed members: