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.DC2025
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol
Kezhi Xiong, Soonwon Moon, Joshua Kang +3
Designing reconfiguration schemes for consensus protocols is challenging because subtle corner cases during reconfiguration could invalidate the correctness of the protocol. Thus,…