grant
Collaborative Research: AIMing: Towards the Hadamard Conjecture: A Unified Neurosymbolic Reasoning and Formal Verification Paradigm
Organization University of Texas at AustinLocation AUSTIN, United StatesPosted 1 Sept 2025Deadline 31 Aug 2028
NSFUS FederalResearch GrantScience FoundationTX
Description preview
This project aims to develop a new artificial intelligence system that works alongside mathematicians to tackle problems that have resisted solutions for nearly a century. Recent advances in large language models can generate creative insights and partial reasoning steps, but they often make mistakes and cannot guarantee correctness. In contrast,…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click