home.social

#reliableai β€” Public Fediverse posts

Live and recent posts from across the Fediverse tagged #reliableai, aggregated by home.social.

  1. πŸ€–πŸš— 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

  2. πŸ€–πŸš— 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

  3. 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

  4. 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