Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
GitHub

A Python Package for Tree Instance Segmentation in 3D Point Clouds.

TreeXAlgorithm - Burmeister, Josafat-Mattias, Tockner, Andreas, Reder, Stefan, Engel, Markus, Richter, Rico, Mund, Jan-Peter, & Döllner, Jürgen (2025). "treeX ...
IEEE

A Basketball Player Technical Analysis Framework Based on Decision Tree Optimized Recursive Neural Network

Abstract: In this study, we unveil a novel and groundbreaking methodology that utilizes a Recursive Neural Network (RNN) optimized with a Decision Tree for the analysis of basketball player ...
GitHub

AWS SDK Python Signers

This repository is no longer maintained. The project has been moved to Smithy Python where you can find the latest releases of aws-sdk-signers. AWS SDK Python Signers provides stand-alone signing ...