Implementation of Natural Language Processing Language Models to Generate Executable Code
Disciplines
Artificial Intelligence and Robotics
Abstract (300 words maximum)
Our scientific literature is abundant with mathematical concepts firmly based on proofs. The Curry-Howard correspondence establishes a connection between mathematical proofs and computer programs, suggesting that we can extract computer programs from mathematical literature and vice versa. While mathematical rigor varies among fields and authors, those seeking to tackle the problem may be daunted by the layers of jargon and innumerable notations they may encounter. By analyzing Mathematics and physics-based academic literature through various natural language processing techniques, the analysis will generate an executable code required to test the provided equations and precisely describe the code.
Academic department under which the project should be listed
CCSE - Computer Science
Primary Investigator (PI) Name
MD Abdullah Al Hafiz Khan
Implementation of Natural Language Processing Language Models to Generate Executable Code
Our scientific literature is abundant with mathematical concepts firmly based on proofs. The Curry-Howard correspondence establishes a connection between mathematical proofs and computer programs, suggesting that we can extract computer programs from mathematical literature and vice versa. While mathematical rigor varies among fields and authors, those seeking to tackle the problem may be daunted by the layers of jargon and innumerable notations they may encounter. By analyzing Mathematics and physics-based academic literature through various natural language processing techniques, the analysis will generate an executable code required to test the provided equations and precisely describe the code.