Add a refinement-typed ML library and Titanic example - #492

Merged

alcides merged 13 commits into

alcides:masterfrom

joaokorreia:machine_learning_library

Sep 9, 2026

Commits on Sep 8, 2026

starting the ML library and also the building of an exemple (titanic.ae)

joaokorreia
authored and
cursoragent
committed
ddc7125
implement

joaokorreia
authored and
cursoragent
committed
8d8cfcd
feat(ml): implement initial machine learning library with Titanic example

joaokorreia
authored and
cursoragent
committed
98d3bf1
feat(ml): update Titanic example and refine ML restrictions documentation

joaokorreia
authored and
cursoragent
committed
036ba48
Add Titanic dataset example and corresponding tests

joaokorreia
authored and
cursoragent
committed
3cfa88e
Refine ML contracts and validation messages

joaokorreia
authored and
cursoragent
committed
975357d
starting the ML library and also the building of an exemple (titanic.ae)

joaokorreia
authored and
cursoragent
committed
2796e61
implement

joaokorreia
authored and
cursoragent
committed
c9e770c
feat(ml): implement initial machine learning library with Titanic example

joaokorreia
authored and
cursoragent
committed
0434e80
feat(ml): update Titanic example and refine ML restrictions documentation

joaokorreia
authored and
cursoragent
committed
20a020c
Add Titanic dataset example and corresponding tests

joaokorreia
authored and
cursoragent
committed
d2a547b
Refactor ML restrictions into static Aeon contracts

joaokorreia
authored and
cursoragent
committed
7945442
Corrections with teacher Alcides comments

joaokorreia
authored and
cursoragent
committed
b5f3e3f