Awesome GitHub RepositoriesGeometric Problem Solving

LogicStack-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

AlphaGeometry est un système d'IA neuro-symbolique conçu comme un solveur de géométrie automatisé et un prouveur de théorèmes. Il intègre un grand modèle de langage avec un moteur de preuve formel pour dériver des conclusions géométriques à partir de prémisses données et générer des preuves formelles étape par étape. Le système se distingue en combinant un moteur de déduction symbolique avec des constructions auxiliaires pilotées par des neurones. Cette architecture utilise un modèle de langage pour proposer des points ou des lignes supplémentaires afin de combler les lacunes dans une preuve, tandis qu'une base de données déductive et un système de raisonnement algébrique vérifient l'exactitude mathématique de chaque étape par rapport à des axiomes stricts. Le projet couvre la vérification mathématique formelle et le raisonnement géométrique symbolique via une recherche de preuve itérative et une boucle hybride symbolique-neuronale.