Spaces:
Sleeping
Sleeping
| + BATCH_SIZE=32 | |
| + BEAM_SIZE=512 | |
| + DEPTH=16 | |
| + NWORKERS=1 | |
| + PROB_FILE=ag4mout/output.txt | |
| + PROB=Output | |
| + MODEL=ddar | |
| + DATA=aglib/ag_ckpt_vocab | |
| + MELIAD_PATH=aglib/meliad | |
| + export PYTHONPATH=:ag4masses/alphageometry:aglib:aglib/meliad | |
| + PYTHONPATH=:ag4masses/alphageometry:aglib:aglib/meliad | |
| + DDAR_ARGS=(--defs_file=$AGDIR/defs.txt --rules_file=$AGDIR/rules.txt) | |
| + SEARCH_ARGS=(--beam_size=$BEAM_SIZE --search_depth=$DEPTH) | |
| + LM_ARGS=(--ckpt_path=$DATA --vocab_path=$DATA/geometry.757.model --gin_search_paths=$MELIAD_PATH/transformer/configs,$AGDIR --gin_file=base_htrans.gin --gin_file=size/medium_150M.gin --gin_file=options/positions_t5.gin --gin_file=options/lr_cosine_decay.gin --gin_file=options/seq_1024_nocache.gin --gin_file=geometry_150M_generate.gin --gin_param=DecoderOnlyLanguageModelGenerate.output_token_losses=True --gin_param=TransformerTaskConfig.batch_size=$BATCH_SIZE --gin_param=TransformerTaskConfig.sequence_length=128 --gin_param=Trainer.restore_state_variables=False) | |
| + true ========================================== | |
| + python -m alphageometry --alsologtostderr --problems_file=ag4mout/output.txt --problem_name=Output --mode=ddar --defs_file=ag4masses/alphageometry/defs.txt --rules_file=ag4masses/alphageometry/rules.txt --beam_size=512 --search_depth=16 --ckpt_path=aglib/ag_ckpt_vocab --vocab_path=aglib/ag_ckpt_vocab/geometry.757.model --gin_search_paths=aglib/meliad/transformer/configs,ag4masses/alphageometry --gin_file=base_htrans.gin --gin_file=size/medium_150M.gin --gin_file=options/positions_t5.gin --gin_file=options/lr_cosine_decay.gin --gin_file=options/seq_1024_nocache.gin --gin_file=geometry_150M_generate.gin --gin_param=DecoderOnlyLanguageModelGenerate.output_token_losses=True --gin_param=TransformerTaskConfig.batch_size=32 --gin_param=TransformerTaskConfig.sequence_length=128 --gin_param=Trainer.restore_state_variables=False --out_file=ag4mout/solution.out --n_workers=1 | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| 2024-11-13 22:40:41.886796: W tensorflow/compiler/tf2tensorrt/utils/py_utils.cc:38] TF-TRT Warning: Could not find TensorRT | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| /root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead. | |
| jax.tree_util.register_keypaths(data_clz, keypaths) | |
| 2024-11-13 22:40:44.246141: W tensorflow/core/common_runtime/gpu/gpu_device.cc:1960] Cannot dlopen some GPU libraries. Please make sure the missing libraries mentioned above are installed properly if you would like to use GPU. Follow the guide at https://www.tensorflow.org/install/gpu for how to download and setup the required libraries for your platform. | |
| Skipping registering GPU devices... | |
| I1113 22:40:44.250269 140163996393472 graph.py:498] Output | |
| I1113 22:40:44.250498 140163996393472 graph.py:499] a b c = triangle a b c; o = circle o a b c; d = foot d a b c; e = foot e b a c; f = foot f c a b; h = orthocenter h a b c; m = on_line m d a, on_circle m o a; n = on_line n e b, on_circle n o a; p = on_line p f c, on_circle p o a ? cyclic c e h d | |
| I1113 22:40:47.947998 140163996393472 ddar.py:60] Depth 1/1000 time = 3.6587045192718506 | |
| I1113 22:40:47.949542 140163996393472 alphageometry.py:204] Theo đề bài ta có: | |
| A B C D E H : Points | |
| B,C,D are collinear [00] | |
| AD ⟂ BC [01] | |
| C,E,A are collinear [02] | |
| BE ⟂ AC [03] | |
| CA ⟂ HB [04] | |
| BC ⟂ HA [05] | |
| Các điểm cần dựng thêm: | |
| Không cần dựng thêm điểm nào. | |
| Các bước chứng minh: | |
| 001. C,E,A are collinear [02] & CA ⟂ HB [04] & BE ⟂ AC [03] & B,C,D are collinear [00] & BC ⟂ HA [05] & AD ⟂ BC [01] ⇒ ∠CEH = ∠CDH [06] | |
| 002. ∠CEH = ∠CDH [06] ⇒ H,C,D,E are concyclic | |
| I1113 22:40:47.949872 140163996393472 alphageometry.py:208] Solution written to ag4mout/solution.out. | |
| Traceback (most recent call last): | |
| File "/usr/lib/python3.10/runpy.py", line 196, in _run_module_as_main | |
| return _run_code(code, main_globals, None, | |
| File "/usr/lib/python3.10/runpy.py", line 86, in _run_code | |
| exec(code, run_globals) | |
| File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 756, in <module> | |
| app.run(main) | |
| File "/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/absl/app.py", line 308, in run | |
| _run_main(main, args) | |
| File "/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/absl/app.py", line 254, in _run_main | |
| sys.exit(main(argv)) | |
| File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 739, in main | |
| run_ddar(g, this_problem, _OUT_FILE.value) | |
| File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 238, in run_ddar | |
| gh.nm.draw( | |
| File "/root/GeoGenSolver/ag4masses/alphageometry/numericals.py", line 1227, in draw | |
| _draw(ax, points, lines, circles, goal, equals, highlights) | |
| File "/root/GeoGenSolver/ag4masses/alphageometry/numericals.py", line 1186, in _draw | |
| name, args = goal | |
| ValueError: too many values to unpack (expected 2) | |