LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations.

Shashank Kirtania Priyanshu Gupta Arjun Radhakirshna

Published in: CoRR (2024)

Keyphrases

multi step
lower bounding
single step
knn
language model
logic programming
k nearest neighbor
tumor classification
modal logic
neural network
information retrieval
decision trees
evolutionary algorithm
language modeling