They are fine at programming numpy and sympy given an interface, and they are surprisingly good at explaining advanced symbolic math concepts. I wouldn't expect them to be good at arithmetic, but a good reasoning model should be really good at mathematical reasoning.
artificialfish
joined 6 days ago
Good catch, that’s probably what’s happening then
TBH, I find the search feature on the block instances on your profile tab useful, HOWEVER, it shouldn't require the instance to exist or show up in search. It should let me put in any string. Just in case search is broken somehow.
I just don't know what blocked means then. It looks like I can see hexbear communities, probably comment on the, and even subscribe to them. But I guess they can't comment in programming.dev communities or see our stuff?
I don’t care who federates. We can always ban their instance:
Well I think you actually need to train a "discriminator" model on rationality tests. Probably an encoder only model like BERT just to assign a score to thoughts. Then you do monte carlo tree search.