LEMMA: Neural-Symbolic Mathematical Reasoning Engine
Hybrid neural-symbolic system reproducing Google DeepMind’s AlphaProof approach. 95.2% accuracy on single-step math problems.
Research
PKBoost: Shannon-Entropy Gradient Boosting
Novel gradient boosting algorithm outperforming XGBoost by 17.9% PR-AUC on extreme class imbalance. Published research.