LLMs meistern Programmverifikation dank BRIDGE-Ansatz
Large Language Models (LLMs) haben in der Codegenerierung bereits beeindruckende Erfolge erzielt, stoßen jedoch bei der Programmverifikation – besonders in interaktiven Beweisframeworks wie Lean4 – auf erhebliche Hinder…