This is a demonstration of our newly released Python package NL2LTL which leverages the
latest in natural language understanding (NLU) and large language models (LLMs) to …

There is an emerging trend to use large language models (LLMs) to reason about complex
goals and orchestrate a set of pluggable tools or APIs to accomplish a goal. This …

We present Lemming–a visualization tool for the interactive selection of plans for a given
problem, allowing the user to efficiently whittle down the set of plans and select their plan (s) …

An understanding of the molecular basis of musculoskeletal pain is necessary for the
development of therapeutics, their management, and possible personalization. One-in-three …

Traditional business processes such as loan processing, order processing, or procurement
have a series of steps that are pre-defined at design and executed by enterprise systems …

We present a tool, called TraceAligner, for solving Trace Alignment by first compiling into
Planning and then solving it with any available cost-optimal planner. TraceAligner can …

One of the greatest challenges of the modern era is to empower AI systems with the ability to
deliberate and act autonomously while mitigating the risks that arise from granting such …

Agent-based modelling and business process management are two interrelated yet distinct
concepts. To explore the relationship between these two fields, we conducted a systematic …

Robotic Process Automation has recently been used in many fields to automate business-
oriented processes. Industries such as finance, transportation, and retail report significant …

High-performance Computing (HPC) systems play pivotal roles in societal and scientific
advancements, executing up to quintillions (10 18) of calculations every second. As we shift …