1 paper
Dhruv Sharma, Gautam Shroff
Recent work shows that Large Language Models (LLMs) can act as semantic mutation operators for the evolutionary discovery of programs and proofs. Most current applications focus on…