VIEWS55
Jui-Hui Chung@juihuichung
The core idea is a blueprint: a global dependency graph of lemmas that build up to the theorem. The lemmas are proved in parallel, and any failures feed back to refine the graph.
6hViews 55
Open-Source Goedel-Architect Framework Achieves SOTA Lean 4 Theorem Proving Results
32411151.7K
Original post unavailable.
Sentiment
Users praised collaborators for helping the Goedel-Architect open-source framework achieve state-of-the-art results in Lean 4 theorem proving.
Pos
100.0%
Neg
0.0%
1 comments with sentiment.
Cluster Engagement
Posts from X
Most Activity
Most Activity
Jui-Hui Chung@juihuichung
Huge thanks to my amazing collaborators: @jackcai1206, @Zi_Hao_Li, @qishuo_yin, @Rohit_Writes, @parksimon0808, Rodrigo Porto, @narutatsuri, @__zrrr__, @sangertang1999, @xingyudang, @hongzhou__lin, @MengdiWang10, @danqi_chen, @chijinML, Liam Fowl, @prfsanjeevarora
6hViews 48