Qingxing Cao
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
arXiv 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
arXiv 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
arXiv 2023
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers