% Key papers for Formal verification and proof data (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{neurips2022_autoformalization_64533,
  title = {{Autoformalization with Large Language Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/52916},
}

@inproceedings{neurips2023_testing_67837,
  title = {{Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2023},
  url = {https://nips.cc/virtual/2023/poster/71923},
}

@inproceedings{iclr2024_don_34566,
  title = {{Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/18508},
}

@inproceedings{icml2026_brokenmath_52677,
  title = {{BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=Y5bEI4cuMd},
}

@inproceedings{aaai2025_learning_9752,
  title = {{Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33662},
}

@inproceedings{neurips2024_autoformalize_70768,
  title = {{Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/96359},
}

@inproceedings{neurips2024_fvel_73058,
  title = {{FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/97597},
}

@inproceedings{neurips2025_apollo_78557,
  title = {{APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=fxDCgOruk0},
}

@inproceedings{icml2025_one_46372,
  title = {{One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46191},
}

@inproceedings{iclr2024_mustard_33765,
  title = {{MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19310},
}

@inproceedings{icml2025_mathconstruct_48106,
  title = {{MathConstruct: Challenging LLM Reasoning with Constructive Proofs}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/44502},
}

@inproceedings{icml2026_ppdl_49508,
  title = {{PPDL: LLM-Based Flows as Probabilistic Programs}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=37hqMR7Cbx},
}

@inproceedings{icml2026_how_49599,
  title = {{How Powerful are LLMs in Generating Formal Program Specifications?}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=41zGzIEpQd},
}

@inproceedings{icml2026_can_52764,
  title = {{Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=YqI1tp78Ei},
}

@inproceedings{icml2026_decompose_53010,
  title = {{Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=b9PBqFgXp6},
}

@inproceedings{icml2026_minif2f_53462,
  title = {{miniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=fj5Ec6g7Ez},
}

@inproceedings{icml2026_beyond_53679,
  title = {{Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=hgMZraPlSv},
}

@inproceedings{neurips2025_solving_77956,
  title = {{Solving Inequality Proofs with Large Language Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=ZaKGh4wP87},
}

@inproceedings{iclr2025_proving_81443,
  title = {{Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/30331},
}

@inproceedings{iclr2026_hilbert_85614,
  title = {{Hilbert: Recursively Building Formal Proofs with Informal Reasoning}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2026},
  url = {https://openreview.net/forum?id=GN8OdkTo3B},
}

@inproceedings{iclr2026_drift_85784,
  title = {{DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2026},
  url = {https://openreview.net/forum?id=IGEs577RFz},
}

@inproceedings{neurips2026_not_91284,
  title = {{Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2026},
  url = {https://neurips.cc/virtual/2026/poster/139281},
}