#reliableai β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #reliableai, aggregated by home.social.
-
Apache Burr: Build reliable AI agents and applications
#HackerNews #ApacheBurr #AIagents #ReliableAI #Applications #AItechnology
-
Apache Burr: Build reliable AI agents and applications
#HackerNews #ApacheBurr #AIagents #ReliableAI #Applications #AItechnology
-
π€π AI is moving into the physical world β but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting π―π΅, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
π¬ LLM-guided synthesis
π§ͺ testing
π verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch -
π€π AI is moving into the physical world β but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting π―π΅, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
π¬ LLM-guided synthesis
π§ͺ testing
π verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch -
LLMs are starving for knowledge graphs. Raphael Troncy was pointing out that many LLM company crawlers are constantly visiting their KGs. Some crawlers even perform explicit SPARQL queries on the KGs.
#knowledgegraphs #eswc2025 #semweb #semanticweb #reliableAI #AI #responsibleAI #llms #webcrawler #slovenia #conference
-
LLMs are starving for knowledge graphs. Raphael Troncy was pointing out that many LLM company crawlers are constantly visiting their KGs. Some crawlers even perform explicit SPARQL queries on the KGs.
#knowledgegraphs #eswc2025 #semweb #semanticweb #reliableAI #AI #responsibleAI #llms #webcrawler #slovenia #conference