GitHub - TeamSigmaGeometry/SigmaGeometry: Contains the code for the SigmaGeometry group project in Math 1810C

TeamSigmaGeometry / SigmaGeometry Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Contains the code for the SigmaGeometry group project in Math 1810C

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 179 Commits
Geogebra Files		Geogebra Files
old_AR_files		old_AR_files
test_files		test_files
.gitignore		.gitignore
Constructions.py		Constructions.py
Data_Generation.py		Data_Generation.py
Data_Generation2.py		Data_Generation2.py
Problem.py		Problem.py
README		README
Read_in_Relations.py		Read_in_Relations.py
Reading_in_Geogebra_File.py		Reading_in_Geogebra_File.py
Solve.py		Solve.py
ar.py		ar.py
augmented_rref.py		augmented_rref.py
construction_tests.py		construction_tests.py
constructions_old.py		constructions_old.py
dd.py		dd.py
dd_test_complex.py		dd_test_complex.py
ddar.py		ddar.py
rabbit_generation.py		rabbit_generation.py
rabbits.txt		rabbits.txt
relations.py		relations.py
relations_test.py		relations_test.py
requirements.txt		requirements.txt
rules.txt		rules.txt
user_rabbit_guide.txt		user_rabbit_guide.txt
verify_eqangles.py		verify_eqangles.py

Repository files navigation

Contains the code for our team's replication of the AlphaGeometry system for MATH1810C

The goal is for the system to be able to use DDAR (Deductive Database+Algebraic Reasoning), as well as an LLM component for coming up with constructions when the DDAR hits a wall, to prove geometric statements.