Predicate Renaming via Large Language Models

Open in new window