lovishchopra/NL2FOL
View on GitHub ↗ ★ 48 SMT
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2025-03-04 · latest 2025-03-04
20082026
-
That's for --model_name, not --nli_model_name: https://github.com/lovishchopra/NL2FOL/blob/4635a81f216da2ad... nli_tokenizer = AutoTokenizer.from_pretrained(args.nli_model_name) nli_model = AutoModelForSequenceClassification.from_pretrained…
comment by rahimnathwani · 2025-03-04 · in Translating natural language to first-order logic for logical fallacy detection -
If we check the script, it seems to support open ai models and llama https://github.com/lovishchopra/NL2FOL/blob/main/src/nl_to_f... It would have been a lot cooler if this was set up as a pretrained model using RL to translate.
comment by janalsncm · 2025-03-04 · in Translating natural language to first-order logic for logical fallacy detection -
The paper links the code repo: https://github.com/lovishchopra/NL2FOL But I don't see a pretrained model in there, so I'm not sure what to pass as `your_nli_model_name`: python3 src/nl_to_fol.py --model_name <your_model_name>…
comment by rahimnathwani · 2025-03-04 · in Translating natural language to first-order logic for logical fallacy detection