Skip to contentWorkspace of logicmoo_workspace on Built-In Node
| __pycache__ |
| .git |
| foreign |
| gnn |
| hashtbl |
| ini |
| leancheck |
| out |
| pyswip |
| results |
| Tensorflow_models |
| theorems |
| .gitignore | Nov 1, 2021, 1:07:28 AM | 1.74 KiB | |
| .gitmodules | Nov 1, 2021, 1:09:07 AM | 162 B | |
| ablations_continued.sh | Nov 1, 2021, 1:07:28 AM | 733 B | |
| ablations.sh | Nov 1, 2021, 1:07:28 AM | 822 B | |
| baseline.sh | Nov 1, 2021, 1:07:28 AM | 1.08 KiB | |
| compare.sh | Nov 1, 2021, 1:07:28 AM | 1.19 KiB | |
| convert_input.pl | Nov 1, 2021, 1:07:28 AM | 4.14 KiB | |
| count_slowdown.sh | Nov 1, 2021, 1:07:28 AM | 2.10 KiB | |
| count.sh | Nov 1, 2021, 1:07:28 AM | 3.15 KiB | |
| dagger_loop.sh | Nov 1, 2021, 1:07:28 AM | 392 B | |
| dagger.sh | Nov 1, 2021, 1:07:28 AM | 3.13 KiB | |
| def_mm.pl | Nov 1, 2021, 1:07:28 AM | 8.32 KiB | |
| distcompare.py | Nov 1, 2021, 1:07:28 AM | 6.18 KiB | |
| embed.pl | Nov 1, 2021, 1:07:28 AM | 8.08 KiB | |
| entropycount.py | Nov 1, 2021, 1:07:28 AM | 7.76 KiB | |
| eval_policy.pl | Nov 1, 2021, 1:07:28 AM | 2.62 KiB | |
| eval.pl | Nov 1, 2021, 1:07:28 AM | 2.17 KiB | |
| features.pl | Nov 1, 2021, 1:07:28 AM | 6.00 KiB | |
| leancop_main.pl | Nov 1, 2021, 1:07:29 AM | 2.60 KiB | |
| leancop_proof.pl | Nov 1, 2021, 1:07:29 AM | 13.21 KiB | |
| leancop_step.pl | Nov 1, 2021, 1:07:29 AM | 18.99 KiB | |
| leancop_tptp2.pl | Nov 1, 2021, 1:07:29 AM | 7.27 KiB | |
| leancop21_swi.pl | Nov 1, 2021, 1:07:29 AM | 9.62 KiB | |
| mcts.sh | Nov 1, 2021, 1:07:29 AM | 2.46 KiB | |
| mizar40.sh | Nov 1, 2021, 1:07:29 AM | 632 B | |
| montecarlo_aux.pl | Nov 1, 2021, 1:07:29 AM | 2.11 KiB | |
| montecarlo_dir.sh | Nov 1, 2021, 1:07:29 AM | 972 B | |
| montecarlo.pl | Nov 1, 2021, 1:07:29 AM | 42.22 KiB | |
| montecarlo.py | Nov 1, 2021, 1:07:29 AM | 12.55 KiB | |
| montecarlo.sh | Nov 1, 2021, 1:07:29 AM | 914 B | |
| mptp2078b.sh | Nov 1, 2021, 1:07:29 AM | 513 B | |
| params_parse.py | Nov 1, 2021, 1:07:29 AM | 2.25 KiB | |
| params.py | Nov 1, 2021, 1:07:29 AM | 6.89 KiB | |
| params.pyc | Nov 1, 2021, 1:18:16 AM | 6.64 KiB | |
| produce_leancop_proof.pl | Nov 1, 2021, 1:07:29 AM | 11.20 KiB | |
| README.md | Nov 1, 2021, 1:07:28 AM | 1.19 KiB | |
| test.pl | Nov 1, 2021, 1:07:29 AM | 197 B | |
| train_xgboost.py | Nov 1, 2021, 1:07:29 AM | 3.09 KiB | |
| train.py | Nov 1, 2021, 1:07:29 AM | 3.60 KiB | |
| util.py | Nov 1, 2021, 1:07:29 AM | 15.25 KiB | |
| xgboost_test.py | Nov 1, 2021, 1:07:29 AM | 751 B | |
|