Ruida Wang

Lean4と言語モデルを使って定理証明を改善するためのフレームワーク。