LLASP: Fine-tuning Large Language Models for Answer Set Programming.
Erica CoppolilloFrancesco CalimeriGiuseppe MancoSimona PerriFrancesco RiccaPublished in: CoRR (2024)
Keyphrases
- fine tuning
- language model
- answer set programming
- logic programs
- language modeling
- logic programming
- answer sets
- language modelling
- probabilistic model
- constraint logic programming
- n gram
- retrieval model
- causal theories
- stable models
- information retrieval
- document retrieval
- stable model semantics
- context sensitive
- test collection
- speech recognition
- fine tuned
- query terms
- statistical language models
- answer set programs
- relevance model
- query expansion
- knowledge representation
- vector space model
- modulo theories
- smoothing methods
- high level
- update semantics
- haplotype inference
- document ranking
- retrieval effectiveness