SymbolicAI: A framework for logic-based approaches combining generative models and solvers · HackerPapers discussions

SymbolicAI: A framework for logic-based approaches combining generative models and solvers — mentioned by Rochus

Tue, 17 Mar 2026 15:47:05 GMT

Full paper: https://arxiv.org/abs/2402.00854 (2024)

Paper and discussion history. A mention is not an endorsement.

SymbolicAI: A framework for logic-based approaches combining generative models and solvers — mentioned by robertkrahn01

Fri, 27 Jun 2025 21:47:09 GMT

Probably linking the paper and examples notebook here makes sense as they are pretty explanatory: https://github.com/ExtensityAI/symbolicai/blob/main/examples... https://arxiv.org/pdf/2402.00854

Paper and discussion history. A mention is not an endorsement.

SymbolicAI: A framework for logic-based approaches combining generative models and solvers — mentioned by tudorw

Sun, 25 Feb 2024 20:01:19 GMT

Symbolic AI still alive and kicking, https://arxiv.org/abs/2402.00854 also liking the experiments around Graph Neural Networks and hybrids thereof.

Paper and discussion history. A mention is not an endorsement.

SymbolicAI: A framework for logic-based approaches combining generative models and solvers — mentioned by _t89y

Tue, 20 Feb 2024 23:36:07 GMT

Thanks for your comment. Please let me know what's not clear. Still no takers on my ML is CV comment below. Research on on-device ASR and computer vision is primarily driven by the same organizations that stand to benefit the most from it. It's nearly impossible to talk about machine learning today without talking about computer vision. Just look at the daily papers from Hugging Face or any other outlet. Machine learning is basically synonymous with computer vision and natural language processing is basically synonymous with information retrieval. Research is corporate research. With very few…

Paper and discussion history. A mention is not an endorsement.