DARPA (I2O): Exponentiating Mathematics (expMath)
| קרן | US Department of Defense |
|---|---|
| מדינה | U.S.A. |
| סוג | Research Grants |
| תאריך אחרון | 08/07/2025 |
| פקולטה | Engineering, Exact Sciences |
| תיאור | expMath hypothesizes that automating abstraction will increase the rate of progress in mathematics by orders of magnitude. The program seeks to address the two challenges above by developing new methods for (1) autodecomposition of a given problem into collections of lemmas and (2) auto(in)formalization for going back and forth between natural language statements of lemmas and an automated theorem proving language.
Funding: no fixed limit Duration: 3 years
Research Authority due date: 11.5.25 Abstract (highly encouraged) due date: 15.5.25 Full proposal due date: 8.7.25 |
| קבצים מצורפים | |
| קישור | לאתר |
| עדכון אחרון | עדכון אחרון: 04/05/2025 |
