3 ms·
Well Alphaproof used test-time-training methods to generate similar problems (alphazero style) for each question it encounters.
by Davidzheng 1y ago
Well Alphaproof used test-time-training methods to generate similar problems (alphazero style) for each question it encounters.