Research Paper

I am interested in the applications of logic via machines.

 

I began investigating and discovered an existing natural language inference (NLI) framework proposed in ccg2lambda: A Compositional Semantics System.

 

Ccg2lambda demands an understanding of various tools within computer science, linguistics, and mathematics, making it difficult to understand the inner workings of the framework.

 

Thus, an explication of these concepts could be useful for fostering further development. I formulated a review paper, overviewing the concepts and systems necessary to build an understanding of the natural language inference (NLI) framework proposed in.

 

The framework produces semantic representations of natural language, which is fed into an automated theorem prover to conduct inferences.

 

My work can be found in the following github repo: https://github.com/ajung202/ccg2lambda.