Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Ao Li
Publications
Formally Solving Answer-Construction Problems in Lean
Jialiang Sun
,
Yuzhi Tang
,
Ao Li
,
Chris Maddison
and
Kuldeep S. Meel
In
:
Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Keyphrases
automated reasoning
,
large language models
,
Lean 4
,
theorem proving
.
Copyright © 2012-2026 easychair.org. All rights reserved.
