Linghao Zhang

この研究では、集合の和に対する多項式最適化を解く方法を紹介してるよ。

新しいフレームワークが自動化を通じてコミットメッセージの作成を改善するよ。