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

Similar works

Full text


DigitalCommons@Kennesaw State University

Last time updated on 23/01/2024

This paper was published in DigitalCommons@Kennesaw State University.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.