2 papers
cs.PL2026
ExVerus: Verus Proof Repair via Counterexample Reasoning
Jun Yang, Yuechun Sun, Yi Wu +5
Large Language Models (LLMs) have shown promising results in automating formal verification. However, existing approaches treat proof generation as a static, end-to-end prediction…
cs.IR2025
Provenance Analysis of Archaeological Artifacts via Multimodal RAG Systems
Tuo Zhang, Yuechun Sun, Ruiliang Liu
In this work, we present a retrieval-augmented generation (RAG)-based system for provenance analysis of archaeological artifacts, designed to support expert reasoning by integratin…