欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Petuum 是一个分布式机器学习平台，目标是为大规模机器学习提供一个通用的算法和系统接口，简化分布式机器学习程序的实现。
Petuum可使用户从复杂繁琐的分布式系统编程和调试中解脱出来，将更多精力集中在优化模型和算法上。
Petuum可高效地运行于各种硬件环境下，包括实验室集群服务器和云计算平台，如Amazon EC2， Google GCE。
