|
|
|
|
|
|
by masterjack
317 days ago
|
|
|
Yes, you can `print axioms` to make sure no axioms were added, make sure it compiles with no warnings or errors. There’s also a SafeVerify utility that checks more thoroughly and catches some tricks that RL systems have found |
|
|