Modern theorem provers & modern autodiff tools are magic. There is so much awesome FOSS tooling around. Open-source is pretty awesome.
Can you mention some specific ones? Are they accessible? Usable without lots of training & without obscure, hard-to-install specialty language runtimes?
-
-
fadbad/spii for autodifferentiating C++ code. z3 for smt solving.
-
experimenting w triton too.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.