Activity
update troubleshooting for SP 2025
update troubleshooting for SP 2025
change obsolete numpy np.float_ to np.double
change obsolete numpy np.float_ to np.double
slight improvements from my fork
slight improvements from my fork
lose requirement for z3 nd matplotlib
lose requirement for z3 nd matplotlib
last changes before fork
last changes before fork
modifying .gitignore to start ignoring generated files hopefully
modifying .gitignore to start ignoring generated files hopefully
figured out how to use cuda and save model weights
figured out how to use cuda and save model weights
current parameters are good enough, moving on to try out modeling V i…
current parameters are good enough, moving on to try out modeling V i…
experimenting with different lambda/lr
experimenting with different lambda/lr