The author is paid by IBM to work on this. The author combines ML and classical AI to achieve explainability in ML.
This is one guy by the way, so not like a huge effort by IBM.
This is one guy by the way, so not like a huge effort by IBM.
I still hold out hope that the likes of Gurobi or CPLEX would be replicated by open source or they themselves would be open sourced. There is GLPK, but from what I hear and read its performance is not at par. There is Glop by Google but have not tried it.
I am one who thinks all of the effort that went into, and is still going into symbolic AI with Lisp will re-emerge to tie in with the current ML techniques using neural networks like ANNs, RNNs, GANNs, etc. to really bring AI/ML to the next level.
This 1992 [1] paper concludes with an interesting line:
"In conclusion, the research summarized in this paper demonstrates that combining symbolic and connectionist methods is a promising approach to machine learning."
There are many others that are more current - search on "ML and Symbolic AI".
[1 - PDF] https://link.springer.com/content/pdf/10.1007/BF00993982.pdf