Jui-Hui Chung
@juihuichung
Introducing Goedel-Architect: an open-source framework for formal theorem proving in Lean 4. Using the open-weight DeepSeek-V4-Flash (284B-A13B), it reaches state-of-the-art results, rivaling proprietary systems at a fraction of the cost.
It solves 4/6 on IMO 2025, 11/12 on
It solves 4/6 on IMO 2025, 11/12 on
4 58