POETRY enhances theorem proving efficiency through its recursive approach.
― 6 min read
Haiming Wang
New methods and benchmarks aim to simplify formalizing mathematics through Lean 4.
― 6 min read
A new framework combines federated learning and multimodal models to improve privacy and performance.
― 6 min read