A Study on Contradiction Detection using a Neuro-Symbolic Approach

This repository contains the code and data used in the experiments for the paper "A Study on Contradiction Detection using a Neuro-Symbolic Approach."

Project Structure

• 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.

Note

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"