Explainable AI
Budget: $250 – $750 USD
http://reasoning.cs.ucla.edu/fetch.php?id=193&type=pdf
Read the above paper. Understand it and below is the implementation of the code for above paper
https://github.com/art-ai/nnf2sdd
You need to complete the code according to the paper and make some improvements to the time complexity for sat solver in existing code. How can you contribute to the above code and what are improvements that you can add or extra features that you can support according to the paper
Read the above paper. Understand it and below is the implementation of the code for above paper
https://github.com/art-ai/nnf2sdd
You need to complete the code according to the paper and make some improvements to the time complexity for sat solver in existing code. How can you contribute to the above code and what are improvements that you can add or extra features that you can support according to the paper