Search Results for "fuzzy rule engine"

...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” 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.

...It consolidates sixteen DEA model families into one interface, keeps backward compatibility with the original inputs = outputs syntax, and adds a fast Mata two-phase revised simplex engine alongside Stata's LinearProgram() IPM engine. The package supports radial technical efficiency (CCR/BCC), SBM, additive model, radial and SBM super-efficiency, multiplier form, directional distance function, cost, revenue, profit, allocative efficiency, FDH, imprecise DEA, undesirable outputs, SBM with undesirable outputs, and congestion analysis. ...

A Java application to visualize fuzzy rules written in ARL (ABLE Rule Language).

FOOL is a Fuzzy system development tool with interactive 'foolproof' graphical user interface.