Google Scholar


  1. Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
    C. An, Z. Chen, Q. Ye, E. First, L. Peng, J. Zhang, Z. Wang, S. Lerner and J. Shang, 2024
    [arXiv Version, Show BibTex]

Refereed Journal Papers

  1. Monotone meshfree methods for linear elliptic equations in non-divergence form via nonlocal relaxation
    Q. Ye and X. Tian, 2023
    [Project Website, Journal Version, Correction, arXiv Version, Show BibTex]