Constraint-variables for imaginary programming

Summary When it comes to adding consistency to the output of LMs, specifying the type of output you want to see by prepending prompt- generation text examples to your final prompt, is a useful technique. When building this functionality into ilambda, I realised that I must keep track of history, or assertions on a ‘partial function basis’ (i.e. per subset of arguments, rather than function name alone or the full set of arguments)....

Submit