CancionesCortasIA (@CancionesChorri)

Zipf 법칙과 인간 언어의 중복성이 임베딩 붕괴를 유발한다면, 기하 구조를 제어할 수 있는 상징적 프로토콜을 설계해 사실, 행동, 논리 구조를 분리한 요인화 표현을 만드는 것이 좋겠다는 아이디어를 제시한다. AI 표현학습과 임베딩 설계에 관한 기술적 제안이다.

https://x.com/CancionesChorri/status/2052869230614261916

#embeddings #representationlearning #llm #symbolicai #nlp

🚀 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

AI attempts to solve First Proof math challenge

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

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

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

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

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/

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

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