Blog 2
Use this space to tell everyone about what you have to offer.
September 3, 2024
SubgoalXL: Pushing the Boundaries of LLM in Formal Theorem Proving
Formal theorem proving, using languages like Lean or Isabelle, represents a frontier for both mathematics and LLM...
Subscribe
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nullam ultrices massa sit amet auctor scelerisque. Cras vel quam non lorem tincidunt facilisis.