Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
Sumit Kumar JhaSusmit JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezRickard EwetzSandeep NeemaPublished in: CoRR (2023)
Keyphrases
- language model
- symbolic reasoning
- language modeling
- document retrieval
- n gram
- information retrieval
- probabilistic model
- speech recognition
- language modelling
- retrieval model
- statistical language models
- query expansion
- language models for information retrieval
- test collection
- symbolic representation
- smoothing methods
- production rules
- document ranking
- np complete
- propositional logic
- relevance model
- model checking
- decision procedures
- natural language
- decision trees