Matej Straka
@matejstraka4
ID: 1301769107105361920
04-09-2020 06:28:50
16 Tweet
3 Followers
49 Following
I'm releasing nanoproof - a minimal open-source implementation of AlphaProof (Tom Zahavy). It uses nanochat (Andrej Karpathy) for pretrain+midtrain+sft, and the official AlphaProof pseudocode for MCTS+the RL loop. First version has 32.8% on minif2f with ~0.001% of the compute. (link to
finally some good ahh experiment tracker GoodSeed Internaional