Implementation of Natural Language Processing Language Models to Generate Executable Code

Abstract

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