vein.git/examples/pendulum/pendulum_pretrain_con.onnx, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-06-25T18:22:18+00:00
fixed model
2026-06-25T18:22:18+00:00
ericmarin
maarin.eric@gmail.com
2026-06-20T11:30:33+00:00
urn:sha1:ed622e662cbefc4c16b425666388641e97921ebc