About project

AIFAD stands for "Automated Induction of Functions over Algebraic Datatypes"
and improves decision tree learning by supporting significantly more complex
kinds of data. This allows users to more conveniently describe the data they
want to have learnt, which can improve accuracy and complexity of resulting

Last commit

NixTux Commit Bot has added 4511be3f46
bot: rpm5 -> rpm4 (8)

Files in

File Message Modification date
{{el.submodule.name}} @ {{el.submodule.id}} {{el.submodule.name+' @ '+el.submodule.id}} {{el.node.name}} {{el.node.name}} {{el.commit.short_message}} {{ el.commit.committed_date | amDateFormat:'YYYY-MM-DD HH:mm' }} ( )

Load More