This repository contains the code and data used in the experiments for the paper "A Study on Contradiction Detection using a Neuro-Symbolic Approach."
-
output/
This folder contains the results obtained from the LLMs during the experiments. -
Merged_LLU.csv
This CSV file contains the dataset used for contradiction detection tasks.
Each row represents a sentence pair along with its label:sentence1: The first sentence.sentence2: The second sentence.label: Indicates whether the pair is contradictory or neutral.
-
program.asp
This file contains the Answer Set Programming (ASP) rules designed to automatically detect contradictions. -
query_gpt.py
A Python script that uses the OpenAI API to interact with two models: GPT-01 and GPT-03 Mini.
To use the OpenAI API, you must have a valid API key. Set your API key as follows:
bash export OPENAI_API_KEY="your-api-key"