NLP Wiki

User Tools

Site Tools

Trace: • edge_computing • automatic_fact_checking • scientific_text_processing • model_compression • automatic_theorem_proving
ml:automatic_theorem_proving

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
ml:automatic_theorem_proving [2025/10/07 14:28] – [Autoformalization] jmflanigml:automatic_theorem_proving [2025/10/07 14:31] (current) – [Autoformalization] jmflanig
Line 83: Line 83:
 ===== Autoformalization ===== ===== Autoformalization =====
   * Overviews   * Overviews
 +    * [[https://leanprover.zulipchat.com/user_uploads/3121/lWKHE1MCcJ1ZwiF2poPoJckC/Autoformalization.pdf|Szegedy 2019 - A Promising Path Towards Autoformalization and General Artificial Intelligence]] Great
     * [[https://arxiv.org/pdf/2311.00007|Avigad et al 2023 - Mathematics and the Formal Turn]] Great overview of the reasons to autoformalize mathematics     * [[https://arxiv.org/pdf/2311.00007|Avigad et al 2023 - Mathematics and the Formal Turn]] Great overview of the reasons to autoformalize mathematics
     * [[https://arxiv.org/pdf/2505.23486|Weng et al 2025 - Autoformalization in the Era of Large Language Models: A Survey]]     * [[https://arxiv.org/pdf/2505.23486|Weng et al 2025 - Autoformalization in the Era of Large Language Models: A Survey]]
ml/automatic_theorem_proving.1759847329.txt.gz · Last modified: 2025/10/07 14:28 by jmflanig
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki