Formal Optimisation
Better Rankings with Fewer Comparisons: Multi-Armed Bandits for Efficient Ordering
How compere uses MAB algorithms to rank items effectively with minimal pairwise feedback — applications in search and recommendation.
MABrankingbandits
Formal Optimisation
From English to Optimal: How savanty Bridges Natural Language and Constraint Solvers
Describe optimisation problems in plain English and receive mathematically guaranteed solutions — no PhD required.
NLPconstraint-satisfactionsolvers
Formal Optimisation
Compiling Trading Signals: sigc and the Quantitative Hypothesis Pipeline
From visual signal specification to verified Rust executable — how sigc turns alpha hypotheses into production-ready code in minutes.
quantsignalscompiler