Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Title: Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Funder: National Science Foundation

URL: https://www.grants.gov/search-results-detail/352796

Deadline: Feb 05, 2025