AI and Formal ProofsAI and Formal Proofsproving.A new framework for LLM-powered theoremFormal Languages and Automata TheoryEnhancing Formal Theorem Proving with Large Language ModelsA framework to improve theorem proving using Lean4 and language models.2025-07-20T08:35:12+00:00 ― 7 min read
