Search Results for "rule"
Sort By:
Showing 2 open source projects for "rule"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
2
This is a slide rule emulator based on the classic Pickett slide rule design. It is written in Python, so the name "pyckett" is appropriate. It is suitable as an example of object-oriented Python software construction, including multiple inheritance.
- Previous
- You're on page 1
- Next
