Description

.- AI and LLM.

.- Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations.

.- Automated Mathematical Discovery and Veri?cation: Minimizing Pentagons in the Plane.

.- Using General Large Language Models to Classify Mathematical Documents.

.- Proof Assistants.

.- Chaining extensionality lemmas in Lean's Mathlib.

.- A formalization of all notions in the statement of a theorem by Deligne.

.- Formalizing Finite Ramsey Theory in Lean 4.

.- Formalizing Pick's Theorem in Isabelle/HOL.

.- Formalizing Coppersmith's Method in Isabelle/HOL.

.- Incorporating a database of graphs into a proof assistant.

.- Logical Frameworks and Transformations. 

.- Reusing Learning Objects via Theory Morphisms.

.- Transforming Optimization Problems into Disciplined Convex Pr

Intelligent Computer Mathematics

Product form

£59.99

Includes FREE delivery
Usually despatched within 5 days
Paperback by Andrea Kohlhase

1 in stock

Short Description:

.- AI and LLM..- Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations..- Automated Mathematical Discovery and Veri?cation: Minimizing... Read more

    Publisher: Springer
    Publication Date: 8/4/2024
    ISBN13: 9783031669965, 978-3031669965
    ISBN10: 3031669967

    Non Fiction , Computing

    Description

    .- AI and LLM.

    .- Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations.

    .- Automated Mathematical Discovery and Veri?cation: Minimizing Pentagons in the Plane.

    .- Using General Large Language Models to Classify Mathematical Documents.

    .- Proof Assistants.

    .- Chaining extensionality lemmas in Lean's Mathlib.

    .- A formalization of all notions in the statement of a theorem by Deligne.

    .- Formalizing Finite Ramsey Theory in Lean 4.

    .- Formalizing Pick's Theorem in Isabelle/HOL.

    .- Formalizing Coppersmith's Method in Isabelle/HOL.

    .- Incorporating a database of graphs into a proof assistant.

    .- Logical Frameworks and Transformations. 

    .- Reusing Learning Objects via Theory Morphisms.

    .- Transforming Optimization Problems into Disciplined Convex Pr

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2025 Book Curl,

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account