A mini-framework for evaluating LLM performance on the Bulls and Cows number guessing game, supporting multiple LLM providers.

A codebase for "Language Models can Solve Computer Tasks"

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

RDF data for Knowledge Graph Reasoning Challenge.

ARB: A Comprehensive Arabic Multimodal Reasoning Benchmark

Slides for a mini-lecture on “Rule-based reasoning on the Semantic Web”

The oko reasoning engine is performing forward and backward chaining of n3p data.

This is a repository for code and data to produce modular norm models from legal text

Ollama structured output for visual zeroshot reasoning

Progetto Intelligent Web 2022 - ALC Reasoning con Lazy Unfolding

Explore zero-shot reasoning strategies with Ollama in this interactive FastAPI project. Visualize AI thought processes using Chain, Tree, and Graph-of-Thought. 🌟💻

Relax, write, and have your own class website!