MCPcopy Create free account

hub / github.com/google-deepmind/alphageometry / types & classes

Types & classes52 in github.com/google-deepmind/alphageometry

⨍ Functions 675◇ Types & classes 52
↓ 84 callersClassPoint
Numerical point.
numericals.py:46
↓ 56 callersClassLine
Node of type Line.
geometry.py:330
↓ 54 callersClassLine
Numerical line.
numericals.py:147
↓ 51 callersClassDependency
Dependency is a predicate that other predicates depend on.
problem.py:676
↓ 24 callersClassEmptyDependency
Empty dependency predicate ready to get filled up.
problem.py:590
↓ 22 callersClassCircle
Numerical circle.
numericals.py:388
↓ 20 callersClassPoint
geometry.py:326
↓ 6 callersClassHalfLine
Numerical ray.
numericals.py:318
↓ 5 callersClassInvalidQuadSolveError
numericals.py:507
↓ 3 callersClassClause
One construction (>= 1 predicate).
problem.py:69
↓ 3 callersClassConstruction
One predicate.
problem.py:49
↓ 3 callersClassProblem
Describe one problem to solve.
problem.py:140
↓ 2 callersClassBeamQueue
Keep only the top k objects according to their values.
alphageometry.py:459
↓ 2 callersClassBeamState
Holds beam search state data.
beam_search.py:176
↓ 1 callersClassCircle
Node of type Circle.
geometry.py:372
↓ 1 callersClassDefinition
Definitions of construction statements.
problem.py:297
↓ 1 callersClassDepCheckFailError
graph.py:81
↓ 1 callersClassDirection
geometry.py:416
↓ 1 callersClassGraph
Graph data structure representing proof state.
graph.py:93
↓ 1 callersClassHoleCircle
Numerical circle with a missing point.
numericals.py:443
↓ 1 callersClassInfQuotientError
ar.py:28
↓ 1 callersClassInvalidLineIntersectError
numericals.py:314
↓ 1 callersClassLength
geometry.py:505
↓ 1 callersClassMeasure
geometry.py:501
↓ 1 callersClassPointTooCloseError
graph.py:85
↓ 1 callersClassPointTooFarError
graph.py:89
↓ 1 callersClassTheorem
Deduction rule.
problem.py:374
↓ 1 callersClassValue
geometry.py:526
ClassARTest
ar_test.py:25
ClassAlphaGeometryTest
alphageometry_test.py:24
ClassAngle
Node of type Angle.
geometry.py:484
ClassAngleTable
Coefficient matrix A for slope(direction).
ar.py:591
ClassDDARTest
ddar_test.py:25
ClassDDTest
dd_test.py:28
ClassDecoderOnlyLanguageModelGenerate
Decoder only language modeling in inference mode.
models.py:28
ClassDecoderStackGenerate
Stack of transformer decoder layers.
decoder_stack.py:41
ClassDistanceTable
Coefficient matrix A for position(point, line).
ar.py:659
ClassGeometricTable
Abstract class representing the coefficient matrix (table) A.
ar.py:526
ClassGeometryTest
geometry_test.py:23
ClassGraphTest
graph_test.py:28
ClassGraphUtilsTest
graph_utils_test.py:23
ClassLanguageModelInference
Meliad wrapper for LM inference.
lm_inference.py:36
ClassLmInferenceTest
lm_inference_test.py:31
ClassNode
r"""Node in the proof state graph. Can be Point, Line, Circle, etc. Each node maintains a merge history to other nodes if they are (found out
geometry.py:24
ClassNumericalTest
numericals_test.py:42
ClassProblemTest
problem_test.py:23
ClassRatio
Node of type Ratio.
geometry.py:509
ClassRatioTable
Coefficient matrix A for log(distance).
ar.py:558
ClassSegment
geometry.py:366
ClassTable
The coefficient matrix.
ar.py:273
ClassTracebackTest
trace_back_test.py:27
ClassTransformerLayerGenerate
Full transformer layer, with attention.
transformer_layer.py:55