dataset Definition and 1 Threads

Hi everyone, I’m Manuel. I studied physics originally and now work mainly in AI. Recently I’ve been combining both interests in an open project called TheorIA (Theoria Dataset), which collects structured derivations in theoretical physics, formatted so they can be used for reproducibility...