Upload 9 files

.gitignore

@@ -0,0 +1,52 @@
+# Virtual environments
+pyenv
+
+# Output file
+output.txt
+output.png
+solution.out
+ag.err
+
+# Gradio
+.gradio
+
+# Python cache
+__pycache__
+ag4masses/alphageometry/__pycache__/alphageometry.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/ar.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/beam_search.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/dd.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/ddar.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/decoder_stack.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/geometry.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/graph_utils.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/graph.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/lm_inference.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/models.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/numericals.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/pretty.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/problem.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/trace_back.cpython-310.pyc
+ag4masses/alphageometry/__pycache__/transformer_layer.cpython-310.pyc
+ag4mtest/ag.err
+ag4mtest/ag.out
+aglib/meliad/__pycache__/metrics_summary.cpython-310.pyc
+aglib/meliad/__pycache__/optimizer_config.cpython-310.pyc
+aglib/meliad/__pycache__/training_loop.cpython-310.pyc
+aglib/meliad/__pycache__/training_task.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/__init__.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/attention.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/decoder_stack.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/inference_utils.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/memory_factory.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/memory_layer.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/metric_utils.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/models.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/nn_components.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/position_fourier.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/position_t5.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/position.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/synthetic_text_data.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/text_dataset.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/transformer_base.cpython-310.pyc
+aglib/meliad/transformer/__pycache__/transformer_layer.cpython-310.pyc

LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

README.md

@@ -1,13 +1,39 @@
----
-title: GeoGenSolver
-emoji: 📉
-colorFrom: purple
-colorTo: yellow
-sdk: gradio
-sdk_version: 5.5.0
-app_file: app.py
-pinned: false
-short_description: 'Generative Illustration and Solver for Vietnamese Geometric '
----
+# GeoGenSolver: Generative Illustration and Solver for Vietnamese Geometric Problem
+# Requirements
+Linux or Windows WSL with Python 3.10
+# Setup
+## Clone this Repo
+```
+git clone https://github.com/HugoVox/GeoGenSolver.git
+cd GeoGenSolver
+```
+## Install necessary Linux packages
+Depending on the exact Linux distribution/version, you may need to install these packages if they are not already installed.
+```
+sudo apt update
+sudo apt install python3-virtualenv
+sudo apt install python3-tk
+```
+## Install Python module dependencies
+Create a virtual env `pyenv` for GeoGenSolver
+```
+virtualenv -p python3 pyenv
+. pyenv/bin/activate
+pip install --require-hashes --no-deps -r pre-requirements.txt
+pip install --no-deps -r requirements.txt
+```
+**Note** It is important to install the requirements in the instructed order and templates.
+## Run
+For example we have the following geometric problem: `Cho tam giác cân ABC (AB = AC), các đường cao AD, BE, cắt nhau tại H. Gọi O là tâm đường tròn ngoại tiếp tam giác AHE. Chứng minh rằng: Bốn điểm A, E, D, B cùng nằm trên một đường tròn.`, here is how it runs
+```
+python main.py --question "Cho tam giác cân ABC (AB = AC), các đường cao AD, BE, cắt nhau tại H. Gọi O là tâm đường tròn ngoại tiếp tam giác AHE. Chứng minh rằng: Bốn điểm A, E, D, B cùng nằm trên một đường tròn."
+```
+We implement both Gemma2 and GPT 4o. Default is GPT 4o.
+```
+# If you want to use Gemma2
+python main.py --model "gemma2-9b-it" --question <input question here>
+```
+# Issue Log
+**Error:** Running main.py returns `Permission Denied`
 
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+**Solution:** Run the following command: `chmod +x ag4masses/utils/run.sh`. Then rerun the executing command above again.

main.py

@@ -0,0 +1,17 @@
+from reader import Reader
+from utils import *
+import argparse
+
+if __name__ == '__main__':
+    parser = argparse.ArgumentParser(description='Generate Geometry Answer')
+    parser.add_argument('--model', type=str, default='gpt-4o-mini', help='Model to use for generation', choices=['gpt-4o-mini', 'gemma2-9b-it'])
+    parser.add_argument('--question', type=str, required=True, help='Question to generate answer for')
+    args = parser.parse_args()
+    if args.model == 'gpt-4o-mini':
+        get_github_token()
+    elif args.model == 'gemma2-9b-it':
+        get_grog_api()
+    reader = Reader(model=args.model)
+    input = translate(args.question)
+    reader.main(input)
+    run_ag()

prompt.txt

@@ -0,0 +1,71 @@
+You are an Artificial General Intelligence. Your task is to provide the problem definition language based on the problem statement.
+1. Problem Definition Format: Each problem is represented as a sequence of premises followed by a conclusion.
+- Premises: Define points, lines, and circles. Use clauses to construct points step-by-step as if drawn with a compass and straightedge.
+- Conclusion: A single statement verifying the final geometry condition.
+2. Premise Structure:
+- Clauses: Each clause specifies one or more points using defined actions. Clauses are separated by ';', with no trailing ';' before the '?' that separates premises from the conclusion.
+- Actions: Each clause uses one or two actions to define points in terms of geometry constraints.
+######
+Example:
+- For constructing the midpoint M of segment AB: m = midpoint m a b
+- To intersect a line and a circle at P: p = on_circle p o a, on_line p b c
+######
+3. Actions: Use only the following actions, each with a specific format and function. Clauses with 2 actions define points by their intersection.
+3.1. Basic Point Constructions:
+- x = angle_bisector x a b c : Construct a point X on the angle bisector of angle ABC
+- x = circle x a b c : Construct point X as the circumcenter of ABC, or ABC inscribed in (X)
+- x = foot x a b c : Construct X as the foot of A on BC
+- x = incenter x a b c : Construct X as the incenter of ABC
+- x y z i = incenter2 x y z i a b c : Construct I as the incenter of ABC with touchpoints X, Y, Z
+- x y = segment x y : Construct two distinct points X, Y
+- x = excenter x a b c : Construct X as the excenter of ABC
+- x = lc_tangent x a o : Construct E on the tangent of circle (O, A) with touchpoint A
+- x = tangent x o a : Construct X such that OA is perpendicular to AX
+- x = midpoint x a b : Construct X as the midpoint of AB'
+- x = mirror x a b : Construct X such that B is the midpoint of AX
+- x = on_bline x a b : Construct X on the perpendicular bisector of AB
+- x = on_circle x o a : Construct X such that OA = OX
+- x = on_line x a b : Construct X on line AB
+- x = on_pline x a b c : Construct X such that XA is parallel to BC
+- x = on_tline x a b c : Construct X such that XA is perpendicular to BC
+- x = orthocenter x a b c : Construct X as the orthocenter of ABC
+- x = parallelogram x a b c : Construct X such that ABCX is a parallelogram
+- a b c = r_triangle a b c : Construct right triangle ABC
+- a b c = triangle a b c : Construct triangle ABC
+- a b c = iso_triangle a b c : Construct isosceles triangle ABC such that AB = AC
+- a b c d = isquare a b c d : Construct square ABCD
+- x y = tangent x y a o b : Construct points X, Y as the tangent touch points from A to circle (O, B)
+3.2. Intersection Actions:
+- x = on_line x a b, on_line x c d : Construct point X as the intersection of line AB and line CD
+- x = on_circle x o a, on_line x b c : Construct point X as the intersection of line BC and circle (O, A)
+- x = lc_tangent x a o, on_line x b c : Construct point X as the intersection of the tangent of circle (O, A) with touchpoint A and line BC
+- x = on_line x a b, angle_bisector x c d e : Construct point X as the intersection of line AB and the angle bisector of angle CDE
+- x = on_tline x a b c, on_circle x o d : Construct point X as the intersection of the line perpendicular to BC from A and circle (O, D)
+- x = on_circle x o a, angle_bisector x c d e : Construct point X as the intersection of circle (O, A) and the angle bisector of angle CDE
+- x = on_pline x a b c, on_circle x o d : Construct point X as the intersection of the line parallel to BC from A and circle (O, D)
+- x = on_tline x a b c, on_tline x d e f : Construct point X as the intersection of the line perpendicular to BC from A and the line perpendicular to EF from D
+4. Conclusion Types: After ?, state a single goal from the list below:
+- coll a b c : points a b c are collinear
+- cong a b c e : segments ab and cd are congruent (length equal)
+- contri a b c p q r : triangles abc and pqr are congruent
+- cyclic a b c d : 4 points a b c d are cocyclic, or quadrilateral abcd is inscribed, or quadrilateral abcd is cyclic
+- eqangle a b c d p q r s : the angles between lines ab-cd and pq-rs are equal. Note that angles have directions (signs) so the order between a b and c d matters. eqangle a b c d c d a b is false. The way to think about it is, angle ab-cd is the angle to turn line ab clockwise so it is parallel with the line cd. You can use counter-clockwise as the convention too, as long as for all angles the same convention is used
+- eqratio a b c d p q r s : segment length ab/cd = pq/rs, or ab.rs = cd.pq
+- midp m a b : point m is the midpoint of a and b
+- para a b c d : segments ab and cd are parallel
+- perp a b c d : segments ab and cd are perpendicular to each other
+- simtri a b c p q r : triangles abc and pqr are similar
+######
+Example Problem Transformation: 
+user: Given a triangle ABC with three acute angles connected to the circle (O). The altitudes AD, BE, CF intersect at H and intersect the circle (O) at M, N, P respectively. Prove that: Quadrilateral CEHD is inscribed
+assistant: 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 a d, on_circle m o a; n = on_line n b e, on_circle n o a; p = on_line p c f, on_circle p o a ? cyclic c e h d
+
+user: Given a right triangle ABC at A. On side AC, take point M, construct a circle (O) with diameter MC. Line BM intersects circle (O) at D. Line AD intersects circle (O) at S. Prove that ABCD is an inscribed quadrilateral.
+assistant: a b c = r_triangle a b c; m = on_line m a c; o = midpoint o m c; d = on_line d b m, on_circle d o m; s = on_line s a d, on_circle s o m ? cyclic a b c d
+
+user: Given triangle ABC, bisector AD, median AM. The line perpendicular to AD at D intersects AB, AM at X, Y respectively. The line perpendicular to AB at X intersects AD at Z. Prove that YZ is perpendicular to BC.
+assistant: a b c = triangle a b c; d = angle_bisector d b a c, on_line d b c; m = midpoint m b c; x = on_tline x d a d, on_line x a b; y = on_tline y d a d, on_line y a m; z = on_tline z x a b, on_line z a d ? perp y z b c
+
+user: Given acute triangle ABC, Draw altitudes AD, BE, CF. Let H be the orthocenter of the triangle. Let M, N, P, Q be the perpendicular projections of D onto AB, BE, CF, AC, respectively. Prove: quadrilateral BMND is inscribed.
+assistant: a b c = triangle 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 = foot m d a b; n = foot n d b e; p = foot p d c f; q = foot q d a c ? cyclic b m n d
+######

reader.py

@@ -0,0 +1,61 @@
+from groq import Groq
+from openai import OpenAI
+import os
+import regex as re
+class Reader:
+    def __init__(self, model:str):
+        self.model_name = model
+        if model == 'gemma2-9b-it':
+            self.client = Groq()
+        elif model == 'gpt-4o-mini':
+            token = os.environ["GITHUB_TOKEN"]
+            endpoint = "https://models.inference.ai.azure.com"
+            self.client = OpenAI(base_url=endpoint,api_key=token)
+        self.prompt = None
+    def get_prompt(self) -> str:
+        """
+        Get the prompt from the prompt.txt file
+        """
+        with open('prompt.txt', 'r', encoding='utf-8') as f:
+            self.prompt = f.read()
+    def refine(self, input:str) -> str:
+        """
+        Refine the input
+        """
+        fix = re.sub(r'[;]\s*[?]\s*', ' ? ', input)
+        clean = re.sub(r'\s+', ' ', fix)
+        return clean
+    def reader(self, input: str) -> str:
+        """
+        Generate a response from the input
+        Args:
+            input (str): Math question from the user
+
+        Returns:
+            str: The generated response
+        """
+
+        chat_completion = self.client.chat.completions.create(
+            messages=[
+                { "role": "system", "content": self.prompt},
+                { "role": "user", "content": input,}
+            ],
+            model=self.model_name,
+            temperature=0.5,
+            max_tokens=2048,
+            top_p=1.0,
+            stop=None,
+            stream=False,
+            )
+        return self.refine(chat_completion.choices[0].message.content)
+    def write_output(self, output:str):
+        """
+        Write the output to the output.txt file
+        """
+        with open('ag4mout/output.txt', 'w', encoding='utf-8') as f:
+            f.write("Output\n")
+            f.write(output.strip())
+    def main(self, input:str) -> str:
+        self.get_prompt()
+        result = self.reader(input)
+        self.write_output(result)

requirements.txt

@@ -0,0 +1,38 @@
+aiofiles==23.2.1
+annotated-types==0.7.0
+anyio==4.6.0
+certifi==2024.8.30
+colorama==0.4.6
+deep-translator==1.11.4
+distro==1.9.0
+exceptiongroup==1.2.2
+fastapi==0.115.4
+ffmpy==0.4.0
+gradio==5.5.0
+gradio-client==1.4.2
+groq==0.11.0
+h11==0.14.0
+httpcore==1.0.6
+httpx==0.27.2
+huggingface-hub==0.25.1
+idna==3.10
+jinja2==3.1.4
+jiter==0.7.0
+openai==1.54.3
+orjson==3.10.11
+pydantic==2.9.2
+pydantic-core==2.23.4
+python-multipart==0.0.12
+pydub==0.25.1
+ruff==0.7.3
+safehttpx==0.1.1
+semantic-version==2.10.0
+shellingham==1.5.4
+sniffio==1.3.1
+starlette==0.41.2
+tomlkit==0.12.0
+tqdm==4.67.0
+typer==0.13.0
+typing-extensions==4.12.2
+uvicorn==0.32.0
+websockets==12.0

utils.py

@@ -0,0 +1,28 @@
+import subprocess, os
+import regex as re
+from deep_translator import GoogleTranslator
+def get_grog_api():
+    os.environ["GROQ_API_KEY"]="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"
+def get_github_token():
+    os.environ['GITHUB_TOKEN'] ="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"
+def translate(input:str) -> str:
+    translated = GoogleTranslator(source='vi', target='en').translate(text=input)
+    return translated
+def run_ag():
+    subprocess.run(["ag4masses/utils/run.sh"])
+def read_solution():
+    with open('ag4mout/solution.out', 'r', encoding='utf-8') as f:
+        lines = f.readlines()
+        paragraphs = ''.join(lines).split('\n\n')
+        theorem_premises = paragraphs[0].strip()
+        auxiliary_constructions = paragraphs[1].strip()
+        proof_steps = paragraphs[2].strip()
+        proof_steps = re.sub(r'\d+\. ', '- Ta có:\n', proof_steps)
+        proof_steps = re.sub(r' & ', '\n', proof_steps)
+        proof_steps = re.sub(r' ⇒ ', '\n⇒ ', proof_steps)
+        result = {
+            theorem_premises.split('\n')[0]: GoogleTranslator(target='vi').translate(text='\n'.join(theorem_premises.split('\n')[1:])),
+            auxiliary_constructions.split('\n')[0]: GoogleTranslator(target='vi').translate(text='\n'.join(auxiliary_constructions.split('\n')[1:])),
+            proof_steps.split('\n')[0]: GoogleTranslator(target='vi').translate(text='\n'.join(proof_steps.split('\n')[1:]))
+        }
+    return result