🔗 Who cites «cvc5: A Versatile and Industrial-Strength SMT Solver»

19 papers of our library cite it (of the 149,439 whose bibliographies we read) · 7 with a page here, the most cited first · ← back to «cvc5: A Versatile and Industrial-Strength SMT Solver»

1. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
2. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
3. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
4. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
5. Neuro-Symbolic Data Generation for Math ReasoningConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Zhi Zhou, Yuan Yao, et al.2024 · 14 citations
6. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
7. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations

12 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/barbosa-2022-cvc5-versatile-industrial-strength-smt/cited-by/