Framework to create formal configurations of constraints.

Rust library for stochastic process mining techniques

A test runner for agentskills.io-style AI agent skills

Brunost - Programmeringsspråket med smak av Noreg

Structure Learning of Gradual Bipolar Argumentation Graphs using Genetic Algorithms

Public source code for ARGORA

Official code repo for NeurIPS 2025 Spotlight paper, "Debate or Vote: Which Yields Better Decisions in Multi-Agent LLMs?"

CQoT is an approach that leverages argumentation theories to enhance LLMs' reasoning and mathematical capabilities. We share the code implementing the pipeline introduced in "Critical-Questions-of-…

A curated catalogue of awesome agentic AI patterns

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Code for "High-Precision Model-Agnostic Explanations" paper

Hands-on experiences with agentic process AI

Validate BPMN diagrams based on configurable lint rules.

Power Indices for Explainable AI

Formalizing stochastic doubly-efficient debate

Building AI agents, atomically

CauseNet: Towards a Causality Graph Extracted from the Web

llmSHAP: a multi-threaded LLM explainability framework

An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

This project aims to promote the MultiAgent Programming (MAP) approach by providing a suitable integration of tools and languages for programming agents, their environment and organisation.

Three-Step-Resource-Inference-Framework addresses the problems of assigning resource attributes to event logs that lack resource information.

[NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards

A TypeScript library for visualizing process execution data on BPMN diagrams

Apache ECharts is a powerful, interactive charting and data visualization library for browser