2 Repos
Awesome GitHub RepositoriesGeometric Problem Solving
Solves computational geometry challenges like fence installation, square validation, boomerang detection, and visible point counting with complexity analysis.
Distinct from Complex Problem Solving: Distinct from Complex Problem Solving: focuses specifically on computational geometry problems, not general complex problem solving.
Explore 2 awesome GitHub repositories matching artificial intelligence & ml · Geometric Problem Solving. Refine with filters or upvote what's useful.
Awesome Geometric Problem Solving GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- sharingsource/logicstack-leetcode
SharingSource/LogicStack-LeetCode
7,495Auf GitHub ansehenLogicStack-LeetCode is a curated repository of solved algorithm problems and data structure implementations, primarily drawn from the LeetCode platform. Its core identity is a structured collection of solutions designed to support technical interview preparation and competitive programming practice, with each solution accompanied by complexity analyses to help engineers understand performance trade-offs. The repository distinguishes itself through its breadth of coverage across fundamental algorithmic patterns and data structures. It includes implementations for array manipulation, string pro
Ships solutions for computational geometry challenges including fence installation and boomerang detection.
algorithminterview-practiceinterview-questions - google-deepmind/alphageometry
google-deepmind/alphageometry
4,865Auf GitHub ansehenAlphaGeometry ist ein neuro-symbolisches KI-System, das als automatisierter Geometrie-Solver und Theorem-Prover konzipiert ist. Es integriert ein Large Language Model mit einer formalen Beweis-Engine, um geometrische Schlussfolgerungen aus gegebenen Prämissen abzuleiten und schrittweise formale Beweise zu generieren. Das System zeichnet sich durch die Kombination einer symbolischen Deduktions-Engine mit neuronal gesteuerten Hilfskonstruktionen aus. Diese Architektur verwendet ein Sprachmodell, um zusätzliche Punkte oder Linien vorzuschlagen, um Lücken in einem Beweis zu schließen, während eine deduktive Datenbank und ein algebraisches Schlussfolgerungssystem die mathematische Korrektheit jedes Schrittes gegen strikte Axiome verifizieren. Das Projekt deckt formale mathematische Verifizierung und symbolisches geometrisches Schlussfolgern durch eine iterative Beweissuche und eine symbolisch-neuronale Hybrid-Schleife ab.
Solves geometry problems by deriving conclusions from premises using a deductive database and algebraic engine.
Python
