Formal verifiaction personal notes
-
Updated
Nov 30, 2023
Formal verifiaction personal notes
A code base for Automated Relational Feature Engineering
Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.
Me and another student at Unibo developed a solution entirely written in Prolog to the game proposed in the following website: https://www.codingame.com/training/hard/vox-codei-episode-1. The report.pdf stands in for the README file.
C. Hocquette, A. Niskanen, R. Morel, M. Järvisalo, and A. Cropper, Learning big logical rules by joining small rules, IJCAI, 2024.
Graduate Level Functional Programming in Racket and Scheme
A grammar and linter for ILP datasets.
Exploit ILP to learn symmetry breaking constraints of ASP programs.
Active Inductive Logic Programming for Code Search (ICSE 2019)
C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
This repo contains my undergraduate thesis work where I tried to combine ILP with MaxEnt.
Julia package for fetching and using srlearn-compatible relational datasets.
A MAS system for ethical monitoring and evaluation of dialog systems
srlearn-compatible relational datasets
A system to learn first-order logic based chess tactics from human gameplay data using inductive logic programming.
Python package for fetching and using srlearn-compatible relational datasets.
Vertex-Enriched Graph Neural Network (VEGNN)
BotGNN: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment
Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.
Source code related to the ILP 2019 paper 'LazyBum: Decision tree learning using lazy propositionalization'
Add a description, image, and links to the inductive-logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the inductive-logic-programming topic, visit your repo's landing page and select "manage topics."