Large Language Models for Software Engineering: A Systematic Literature Review

PAL: Program-aided Language Models

ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural language problem into runnable steps remains the only learning task for the LLM, while solving is delegated to the interpreter

Derivative-free optimization of high-dimensional non-convex functions by sequential random embeddings

IJCAI'16, 2016. [All Versions]

Second-order and Higher-order Logic

Plato Stanford

Towards combining inductive logic programming with Bayesian networks

ILP'01, 2001. [All Versions]