KBpedia KBpedia Knowledge Graph

This seems worth exploring
kbpedia.org
#SymbolicLogic #SymbolicAI

I failed a few times but hopefully this:

> Building a FOSS Voting App: A practical proof. Using an HTML/JS/CSS interface, it parses secure XML from .gov domains to render auditable ballots. No "black box" - just a verifiable app turning data into democracy. #Temetics #OpenSource #SymbolicLogic

Apple Researchers Challenge Large Language Models' Math Reasoning Capabilities with New Benchmark Apple researchers introduced GSM-Symbolic, a new benchmark to reveal the weaknesses in large language models' mathematical reasoning, showing that they rely heavily on pattern-matching rather than gen...

🔢🧠📊 Apple Researchers Challenge Large Language Models' Math Reasoning Capabilities with New Benchmark www.azoai.com/news/2024102... #AI #MachineLearning #LLM #Mathematics #ArtificialIntelligence #Research #Benchmarking #MathReasoning #SymbolicLogic #TechInnovation @arxiv-stat-ml.bsky.social

My introduction to the concept of logical syllogisms came from @montypython, not university. #confessions #sorrynotsorry #symboliclogic