If we check the script, it seems to support open ai models and llama https://git... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

janalsncm 61 days ago | parent | context | favorite | on: Translating natural language to first-order logic ...

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.

rahimnathwani 61 days ago [–]

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(args.nli_model_name)

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact