Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_sys / logicmoo_base / prolog / logicmoo / tptp / plcop /
__pycache__
.git
foreign
gnn
hashtbl
ini
leancheck
out
pyswip
results
Tensorflow_models
theorems
.gitignoreNov 1, 2021, 1:07:28 AM1.74 KiB
.gitmodulesNov 1, 2021, 1:09:07 AM162 B
ablations_continued.shNov 1, 2021, 1:07:28 AM733 B
ablations.shNov 1, 2021, 1:07:28 AM822 B
baseline.shNov 1, 2021, 1:07:28 AM1.08 KiB
compare.shNov 1, 2021, 1:07:28 AM1.19 KiB
convert_input.plNov 1, 2021, 1:07:28 AM4.14 KiB
count_slowdown.shNov 1, 2021, 1:07:28 AM2.10 KiB
count.shNov 1, 2021, 1:07:28 AM3.15 KiB
dagger_loop.shNov 1, 2021, 1:07:28 AM392 B
dagger.shNov 1, 2021, 1:07:28 AM3.13 KiB
def_mm.plNov 1, 2021, 1:07:28 AM8.32 KiB
distcompare.pyNov 1, 2021, 1:07:28 AM6.18 KiB
embed.plNov 1, 2021, 1:07:28 AM8.08 KiB
entropycount.pyNov 1, 2021, 1:07:28 AM7.76 KiB
eval_policy.plNov 1, 2021, 1:07:28 AM2.62 KiB
eval.plNov 1, 2021, 1:07:28 AM2.17 KiB
features.plNov 1, 2021, 1:07:28 AM6.00 KiB
leancop_main.plNov 1, 2021, 1:07:29 AM2.60 KiB
leancop_proof.plNov 1, 2021, 1:07:29 AM13.21 KiB
leancop_step.plNov 1, 2021, 1:07:29 AM18.99 KiB
leancop_tptp2.plNov 1, 2021, 1:07:29 AM7.27 KiB
leancop21_swi.plNov 1, 2021, 1:07:29 AM9.62 KiB
mcts.shNov 1, 2021, 1:07:29 AM2.46 KiB
mizar40.shNov 1, 2021, 1:07:29 AM632 B
montecarlo_aux.plNov 1, 2021, 1:07:29 AM2.11 KiB
montecarlo_dir.shNov 1, 2021, 1:07:29 AM972 B
montecarlo.plNov 1, 2021, 1:07:29 AM42.22 KiB
montecarlo.pyNov 1, 2021, 1:07:29 AM12.55 KiB
montecarlo.shNov 1, 2021, 1:07:29 AM914 B
mptp2078b.shNov 1, 2021, 1:07:29 AM513 B
params_parse.pyNov 1, 2021, 1:07:29 AM2.25 KiB
params.pyNov 1, 2021, 1:07:29 AM6.89 KiB
params.pycNov 1, 2021, 1:18:16 AM6.64 KiB
produce_leancop_proof.plNov 1, 2021, 1:07:29 AM11.20 KiB
README.mdNov 1, 2021, 1:07:28 AM1.19 KiB
test.plNov 1, 2021, 1:07:29 AM197 B
train_xgboost.pyNov 1, 2021, 1:07:29 AM3.09 KiB
train.pyNov 1, 2021, 1:07:29 AM3.60 KiB
util.pyNov 1, 2021, 1:07:29 AM15.25 KiB
xgboost_test.pyNov 1, 2021, 1:07:29 AM751 B