Neuro-Symbolic Verification on Instruction Following of LLMs

Yiming Su, Kunzhao Xu, Yanjie Gao +4

A fundamental problem of applying Large Language Models (LLMs) to important applications is that LLMs do not always follow instructions, and violations are often hard to observe or…