Paper

Necessary packages to run the code:

• transformers
• torch
• accelerate

Run instructions:

• For converting natural language to first order logic on the given dataset: python3 nl_to_fol.py
• For converting first order logic to SMT files and generate results use: python3 fol_to_cvc.py
• For getting the final result metrics run: python3 get_metrics.py
• To interpret the SMT results use: python3 interpret_smt_result.py <output_of_smt_file_path> <json to relevant sentence data with Claim, Implication, Referring expressions, Properties and Formula>