Filter by domain:

OptiKonf FlexCo

Manufacturing · Symbolic AI Configurators
Use Case Technical Problem Manufacturing Sustainability

OptiKonf's platform uses Symbolic AI to turn complex, non-standard specifications (including imperative code) into configurators. The challenge is to integrate agentic coding into this workflow so that domain experts can build configurators without also being platform experts, while staying anchored to the symbolic back-end for compilation and execution feedback.

Intended Outcome

Ideas for extending the Symbolic Platform into a Hybrid AI system — ideally small prototypes.

Prior Knowledge

Basic programming skills and comfort with API calls are sufficient.

What Students Gain

  • Compute credit for the OptiKonf Symbolic Configurator
  • Possible internships at a future startup stage
  • Joint publication if synergies arise
Show full challenge

Full Description

OptiKonf's platform uses Symbolic AI to process complex specifications precisely, even when given in non-standard input formats. It can process imperative code (e.g., a sub-set of Python syntax) and transform it into configurators — crucial for processing existing configurators found in many companies. While this makes symbolic AI accessible to programming experts, OptiKonf strives to build an even more accessible platform.

The company is researching agentic programming workflows (e.g., external APIs with user-supplied keys, or budgets bought through the platform) that still exploit the symbolic back-end. Generated Python source can always be processed to extract selectable configurator "knobs", optimisation targets, dead code, etc. This information should be exposed to the agentic coding loop, so users are never "vibing into the void" but stay connected to the domain problem they are modelling — able to ask the agent questions while it calls the platform in the background to compile code and execute configurators.

Participants receive API access to the platform and personalised guidance throughout. The team supports any problems that arise and values feedback. Deployment is handled by OptiKonf — the challenge focuses on collectively gathering experience and seeing how far the group can push the workflow.

Data & Resources

  • API keys for the OptiKonf platform provided
  • No confidentiality required (isolated tenant)
  • Outputs may be shared publicly

Company

Kleinstunternehmen · 2 employees, 2 founders · Linz, Austria

optikonf.com ↗
Max Heisinger — CEO / CTO

SAP

Enterprise Software · ERP · Signavio
Research Problem Open Discussion Business Process Management Simulation

Business process simulation is meant to provide decision support for change decisions, but current approaches — classical stochastic models, ML-integrated methods, declarative or agent-based simulation — still fall short of the accuracy needed in practice. The challenge is to close the accuracy gap, potentially by drawing from other AI research areas, especially as agents take on greater roles in executing processes.

Intended Outcome

Ideas and discussion advancing the underlying research.

What Students Gain

  • Promising directions can be taken further through SAP's Visiting Researcher Program (up to 6 months)
  • Access to dedicated infrastructure for prototypes in production-like environments
Show full challenge

Full Description

SAP builds software that helps companies run well. The Signavio business unit provides a process intelligence product suite as part of SAP's business transformation capabilities. Signavio operates at the level where businesses are actually run — the process level — offering tools and knowledge to get insights into how processes run and adapt them to drive change. Over 50 years, SAP has accumulated knowledge of potential process improvements, but whether a specific improvement will work in a given organisational reality requires decision support beyond this knowledge alone.

Business process simulation provides that decision support by learning a simulation model from historical execution data and modifying it to reflect hypothetical changes — enabling what-if analyses before committing to redesigns, automation, or resource reallocation. In practice, however, these approaches still do not produce simulations accurate enough to rely on.

A core reason is that the data used to discover simulations does not capture everything driving process execution: processes are variable because humans execute them, and they are shaped by external context (workload, customer behaviour, supplier delays, organisational dynamics) that is only partially recorded in the ERP. Promising directions include integrating context from outside the ERP, modelling resource behaviour under varying conditions, and quantifying how trustworthy a simulation result is — through new paradigms or hybridisations.

The relevance grows as agents take a more central role: SAP's active research on agentic process management explores autonomous agents, and sufficiently accurate simulation is key to understanding their behaviour and consequences in advance.

Data & Resources

Openly available process logs at tf-pm.org/resources/logs ↗ paired with the state-of-the-art references below.

  • Kirchdorfer et al. (2025). Discovering multi-agent systems for resource-centric business process simulation. Process Science, 2(1), 4.
  • Chapela-Campa et al. (2025). SIMOD: automated discovery of business process simulation models. SoftwareX, 30, 102157.
  • Camargo et al. (2023). Learning business process simulation models: a hybrid process mining and deep learning approach. Information Systems, 117, 102248.

Company

sap.com ↗
Robert Blümel — Research & Innovation at SAP

Algoryx & cleAIr

Physical AI & Simulation · AI Governance (WASP)
Open Discussion Research Problem Technical Problem Physical AI Multi-agent Systems Governance

AI systems are evolving from isolated models into interacting ecosystems of autonomous agents, humans, digital infrastructure, and physical environments. Risk emerges from the whole system, not a single model. This joint challenge asks how we can measure, predict, and govern the effects of changes in adaptive systems operating in the physical world — from autonomous construction sites to space systems.

Intended Outcome

Ideas and discussion.

Guiding Questions

  • How do we preserve physical consistency as AI becomes part of simulation and control?
  • How can we measure and explain the effects of changes in adaptive multi-agent systems?
  • How do we distinguish intended effects from emergent side effects when agents interact with humans and the physical world?
  • How can we ensure safety, stability, and verifiability in autonomous machines, construction, and space systems?

What Students Gain

  • Joint publication
Show full challenge

Full Description

AI systems are evolving from isolated models into interacting ecosystems of autonomous agents, humans, digital infrastructure, and physical environments. Risk is no longer located solely inside a single model — it emerges from the behaviour of the system as a whole, including how software agents, physical systems, and people interact over time.

Consider an autonomous construction site where multiple machines collaborate with human operators to move material. Every decision changes the environment itself: terrain is reshaped, materials move, traffic patterns evolve, and new decisions must adapt to the updated world. New safety rules, optimisation objectives, or operating policies influence how autonomous agents coordinate. Small changes to either the physical models or the governing rules may produce system-wide effects that are difficult to anticipate.

Building trustworthy autonomous systems requires understanding both the physical processes and the interactions between multiple adaptive agents. Physics-based digital twins provide realistic virtual environments for training and validating autonomous machines, while observability and governance methods help us understand how changes to rules, incentives, or control strategies affect overall system behaviour. Together, these perspectives aim to provide confidence that autonomous systems remain safe and stable as they continuously adapt.

The challenge sits at the intersection of Physical AI, physics-based simulation, multi-agent systems, and AI governance, and is presented jointly by Algoryx and cleAIr under the WASP umbrella.

Domains

Physical AI · Physics-based simulation · Multi-agent systems · AI observability & governance · Autonomous machines · Construction · Space systems

Data & Resources

  • Data: No
  • Examples: Yes
  • Supporting materials: No
  • No confidentiality or IP constraints
  • Outputs may be shared publicly

Companies

Algoryx — Physical AI & Simulation · algoryx.se ↗

cleAIr — IT Research · cleair.ai ↗

Sandra Ålstig — Senior R&D Engineer, Algoryx
Filip Naudot — R&D Engineer, cleAIr

Graphwise

AI · Knowledge Graphs · Enterprise Search & Analytics
Technical Problem Hybrid AI Knowledge Graphs Semantic AI

Hybrid AI Optimisation Challenge: Simplifying Ontologies for LLMs. Complex ontologies (e.g., the CIM electrical-grid standard with 900+ classes and 5,500+ properties) create excessive token overhead for LLMs generating SPARQL. The challenge is to make ontologies LLM-friendly — via subsetting to actually-instantiated classes and properties — without sacrificing precision, so agentic AI solutions can be deployed in days rather than quarters.

Intended Outcome

  • Simplified, queryable ontologies for production chatbots
  • Faster SPARQL generation and execution
  • Deployable agentic AI solutions

Prior Knowledge

Semantic web technologies (SPARQL, OWL, RDF), knowledge graphs, and ontology design patterns.

What Students Gain

  • Work with real-world enterprise knowledge graphs serving 200+ global customers
  • Hands-on expertise in semantic AI and ontology optimisation
  • Experience deploying production-grade agentic AI
Show full challenge

Full Description

LLMs generate SPARQL queries against knowledge graphs but struggle with irrelevant schema noise. Ontology subsetting — including only the classes and properties actually instantiated in the knowledge graph — reduces the token load and can improve the quality of results.

Complex ontologies like CIM (the electrical grid standard) contain more than 900 classes and 5,500 properties, creating excessive token overhead for LLMs. Organisations need methods to make ontologies "LLM-friendly" without sacrificing precision, so that agentic AI solutions can be deployed within days rather than quarters.

Key objectives: reduce massive schemas to actively-used terms only; improve LLM accuracy in generating correct queries; and remove redundant definitions and unused enumerations.

Data & Resources

  • Dataset: STATNETT (Norwegian grid operator) — 100+ named graphs, largest containing ~2 billion statements
  • Stack: GraphDB, SPARQL, OWL RL reasoning, GeoSPARQL, timeseries integration
  • Live demo: CIMOn Grid Semantic Digital Twin chatbot ↗
Robert David — Graphwise

Bosch

Electronics Design · Industrial AI · Visual Reasoning
Research Problem Open Discussion Visual Query Answering Netlist Generation

Visual query answering and netlist generation are meant to automate the transition from visual circuit designs to digital netlists in enterprise systems, but current approaches — standard object detection, OCR, and general-purpose Multimodal LLMs — still fall short of the topological precision needed in practice. The challenge is to close the topological accuracy gap, potentially by drawing from neurosymbolic AI, graph neural networks, or knowledge-guided learning, especially as automated agents take on greater roles in hardware engineering workflows.

Intended Outcome

Innovative approaches and discussion advancing the underlying research in topological image parsing and multimodal circuit understanding.

What Students Gain

  • Promising directions can be taken further through Bosch's PhD and Internship Programs
  • Access to industrial-scale datasets (e.g., real-world electronics schematics) and state-of-the-art AI infrastructure at the Bosch Center for Artificial Intelligence (BCAI) or Corporate Research Labs
Show full challenge

Full Description

Visual query answering and netlist generation are meant to automate the transition from visual circuit designs to digital netlists in enterprise systems. Current approaches — standard object detection, OCR, and general-purpose Multimodal LLMs — still fall short of the topological precision needed in practice.

The challenge is to close the topological accuracy gap, potentially by drawing from neurosymbolic AI, graph neural networks, or knowledge-guided learning. This becomes increasingly important as automated agents take on greater roles in hardware engineering workflows, where errors in netlist extraction can propagate into downstream design decisions.

Domains

Electronics Design · Industrial AI · Visual Reasoning · Multimodal LLMs · Neurosymbolic AI

Company

Bosch Center for Artificial Intelligence (BCAI)

bosch-ai.com ↗

Bosch

Industrial AI · Machine Learning · Process Optimization
Research Problem Applied Industrial Use Case Tabular Foundation Models Knowledge Graphs Neuro-symbolic AI

Context-Enriched Tabular Foundation Models for Industrial Process Optimization. Tabular Foundation Models (TFMs) show strong predictive capabilities on tabular data, but they treat tables as collections of values with limited understanding of the surrounding semantic context. This challenge investigates how external knowledge — derived from technical documentation and represented as a knowledge graph of process variables and related entities — can be integrated into TFMs to improve feature-importance estimation, interpretability, and decision support for industrial process optimisation.

Intended Outcome

Novel model architectures, knowledge-integration strategies, prototype implementations, and technical discussions demonstrating improved reasoning and optimisation capabilities for tabular foundation models.

Prior Knowledge

  • ML/DL experience with tabular data
  • Familiarity with transformer-based architectures or foundation models (desirable)
  • Representation learning, RAG, knowledge graphs, or neuro-symbolic AI (beneficial, not mandatory)
  • Interest in industrial process optimisation and interpretable AI

What Students Gain

  • Joint scientific publication — co-authoring opportunities with Bosch researchers
  • Potential internships and follow-up research collaborations within Bosch AI teams
  • Expert mentorship from Bosch specialists in foundation models, industrial AI, and process optimisation
Show full challenge

Full Description

At Robert Bosch GmbH, data-driven optimisation plays a central role in improving engineering processes, manufacturing quality, and industrial efficiency. Many of these applications rely on structured tabular data that captures process parameters, measurements, and outcomes. Recent advances in Tabular Foundation Models (TFMs) have demonstrated strong predictive capabilities across a range of tabular learning tasks — but these models typically treat tables as collections of values with limited understanding of the rich semantic context surrounding them.

In many industrial settings, the meaning of a table extends far beyond its numerical entries. Column names often correspond to concepts described in technical documentation, engineering reports, process specifications, or domain ontologies, and relationships between parameters can be highly complex. Existing TFMs are rather limited in integrating such knowledge, especially when represented as a knowledge graph in which column names appear as entities in a complex KG representation.

The objective is to investigate how external knowledge (derived from textual documentation and represented as a knowledge graph reflecting semantic relationships between process variables and other entities) can be integrated into tabular foundation models to improve their reasoning capabilities. This may include novel architectures, representation-learning techniques, retrieval-augmented methods, graph-based approaches, or neuro-symbolic methods that let models jointly exploit numerical tabular data and semantic knowledge graphs.

This is particularly relevant to Bosch because many optimisation problems involve identifying the process parameters that have the greatest impact on a desired outcome, and determining how those parameters should be adjusted to maximise performance, quality, or efficiency. Better contextual understanding can improve feature-importance estimation, increase model interpretability, and ultimately enable more effective decision support for industrial process optimisation.

Data & Resources

  • Public benchmark datasets for tabular learning (OpenML, UCI ML Repository)
  • Publicly available tabular foundation models and related literature
  • Additional industrial-inspired datasets and documentation may be provided where applicable
  • No confidentiality or IP constraints — outputs may be shared publicly

Company

Robert Bosch GmbH · Bosch Center for Artificial Intelligence (BCAI)

bosch-ai.com ↗