Upload 4 files

ag4mout/ag.err

@@ -0,0 +1,71 @@
++ 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)

ag4mout/output.txt

@@ -0,0 +1,2 @@
+Output
+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

ag4mout/solution.out

@@ -0,0 +1,15 @@
+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