Mastodawn

🚀 PMD core ontology (PMDco) v3.0.0 Release

This release marks a major milestone for the #PMD working area Semantic Interoperability and reflects several years of joint conceptual work, implementation, discussion, and validation across projects and disciplines.

GitHub: https://github.com/materialdigital/core-ontology
PMDco 3.0.0: https://materialdigital.github.io/core-ontology/index-en.html#
Docs: https://materialdigital.github.io/core-ontology/docs/

#ontologies #materialsscience #materialdigital #AI #symbolicAI #knowledgerepresentation @fiz_karlsruhe @joerg @enorouzi @lysander07

TechLİfe Feb 24

AI attempts to solve First Proof math challenge

https://techlife.blog/posts/our-first-proof-submissions/

#AIProofs #MathAI #AILogic #FrontierAI #SymbolicAI #AI

AI attempts to solve First Proof math challenge

OpenAI shares proof attempts for First Proof, a math challenge testing if AI can produce checkable proofs on domain-specific problems.

TechLife

FIZ KDAI Research Group Feb 20

This week, our colleague @sashabruns was presenting her research in the AIFB graduate colloquium at KIT: Exploring temporal representations in knowledge graphs: Challenges, Requirements, and Guidelines from Cultural Heritage.

#semanticweb #knowledgegraphs #rdf #owl knowledgerepresentation #AI #symbolicAI #culturalheritage #digitalhumanities @lysander07 @fiz_karlsruhe @KIT_Karlsruhe @tabea @MahsaVafaie @enorouzi

Jean-Guillaume Jan 26

Et si le vocabulaire que tu utilises tous les jours n’était pas neutre ?
Quand tu dis « appeler une fonction », « appeler une API », « appeler un service », qu’est-ce que tu acceptes implicitement comme architecture ?
Un monde de processus qui tournent en permanence, de sockets ouverts, de files d’attente, de watchers qui surveillent, de latences à gérer ?
Et si, rien qu’en changeant un mot, tu pouvais sortir de cette prison invisible ?
#SymbolicAI
#Neurosymbolic
#AIArchitecture

Alex Jimenez Nov 29

Could #SymbolicAI Unlock Human-like Intelligence?

Combining newer neural networks with older #AI systems could be the secret to building an AI to match or surpass human intelligence

https://www.nature.com/articles/d41586-025-03856-1

#Innovation

This AI combo could unlock human-level intelligence

Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends in artificial intelligence.

Reddit Tech VN Bot Oct 16

Tensor Logic: Ngôn ngữ mới kết hợp AI neural & symbolic đơn giản hóa bằng tensor equation. Giải quyết hạn chế PyTorch/LISP. Ewent transformers, logic, thèm học. 📚TAG: #AI #TensorLogic #DeepLearning #SymbolicAI #ResponsibleTech #HackedNews

https://www.reddit.com/r/LocalLLaMA/comments/1o891o4/tensor_logic_the_language_of_ai/

Harald Klinke Sep 24

LLMs können viel – aber beim symbolischen Planen scheitern sie oft.
Ein neues Paper von MIT CSAIL & Microsoft zeigt, wie Instruction Tuning mit logischen Chain-of-Thought-Schritten und externem Validator (VAL) LLMs zu verlässlichen Planern macht.

Die Ergebnisse: bis zu 94 % gültige Pläne statt 28–35 % in den Baselines.
https://arxiv.org/abs/2509.13351
#AI #LLM #Planning #AgenticAI #SymbolicAI #HybridAI #TrustworthyAI

"When technology works noone calls it AI anymore."

There's also another subfield in AI called Automated Reasoning and Automated Theorem Proving, used to proof the correctness of software:
https://en.wikipedia.org/wiki/Automated_reasoning

...or Model-based reasoning (the hype term "AI model" has made this term unsearchable, unfortunately)

They all fall under the umbrella term Symbolic #AI - this is 100% reliable AI, but noone is talking about it!

https://floss.social/@janriemer/114454349034565839

#SymbolicAI

Automated reasoning - Wikipedia

Dr. Anna Latour Aug 26, 2025

Only a few days left to apply!

If you are interested in logic, decision-making, reasoning under uncertainty and statistics, apply by the end of this month for an opportunity to work with me, dr. Sicco Verwer and dr. Fabian Mies at Delft University of Technology!

Application deadline: 31 August 2025

https://careers.tudelft.nl/job/Delft-PhD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/

#AcademicJobs
#AcademicMastodon
#GetFediHired
#AcademicJob
#SymbolicAI
#Statistics
#AI
#ConstraintProgramming
#CombinatorialOptimisation
#SensitivityAnalysis
#FormalMethods
#CombinatorialOptimization
#Delft
#TUDelft
#AcademicChatter

PhD Position Symbolic AI and Reasoning Under Uncertainty

Dr. Anna Latour Jul 31, 2025

One month left to apply!

If you are looking for a PhD position and are interested in working on probabilistic inference, sensitivity analysis, and decision-making, this might be the job for you! We are looking for candidates with a strong background in Computer Science, and ideally also in Mathematics.

Please apply by 31 August. We're looking forward to reading your application!

https://careers.tudelft.nl/job/Delft-PhD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/