"au:"Yufan Cai"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Yufan Cai"" — arXiv2 Search

Showing 1–6 of 6 results

/ Date/ Name

Jun 26, 2024Towards Large Language Model Aided Program Refinement Nov 26, 2025Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning Mar 5, 2026X-RAY: Mapping LLM Reasoning Capability via Formalized and Calibrated Probes Sep 28, 2025PAT-Agent: Autoformalization for Model Checking Dec 9, 2024The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap Aug 3, 2024CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature