Sponsor of the Day:
Jerkmate
https://lectures.scientific-python.org/packages/sympy.html
sympy : Symbolic Mathematics in Python — Scientific Python Lectures
symbolic mathematicsscientific lecturessympypython
https://danmackinlay.name/notebook/ai_reasoning.html
Neural nets that do symbolic mathematics, logic and other reasoning tasks — The Dan MacKinlay...
Wherein models are described as being taught to double-check their own reasoning by appending the token Wait at test time, and a curated s1K dataset plus...
neural netssymbolic mathematicsreasoning tasksdan mackinlaylogic
https://danmackinlay.name/notebook/computational_symbolic_maths.html
Computational symbolic mathematics — The Dan MacKinlay stable of variably-well-consider’d...
Wherein non-commutative algebraic manipulations are examined via tools such as Cadabra, SymPy and Singular, and the nascent application of neural‑net methods...
dan mackinlay stablesymbolic mathematicsvariably wellcomputational