2 papers
cs.LO2026
PROMISE: Proof Automation as Structural Imitation of Human Reasoning
Youngjoo Ahn, Sangyeop Yeo, Gijung Im +3
Automated proof generation for formal software verification remains largely unresolved despite advances in large language models (LLMs). While LLMs perform well in NLP, vision, and…
cs.CL2025
Chain of Grounded Objectives: Bridging Process and Goal-oriented Prompting for Code Generation
Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma
The use of Large Language Models (LLMs) for code generation has gained significant attention in recent years. Existing methods often aim to improve the quality of generated code by…