Automated theorem prover for Reasoning @ UoB

电子科技大学 2020 级《知识表示与推理》课程代码。

Tksheet client for for CoT / shema-based reasoning over your data-iterator

Collection and learnings of my journey in Artificial Intelligence

Modular orchestration of multiple reasoning agents.

Demonstration of the reasoning logic used in the Dynamic Dashboard

a trace based platform for collecting, reasoning and visualizing interaction traces

sets a roundtable of reasoning paradigms to respond to a query with stated available resources.

Advanced AI that can reason across text, images, audio, and video simultaneously - true multimodal understanding and question answering.

Knowledge Graphs in ~150 lines - understand how KGs work by building from scratch

ML-Agents Utility for the research work from the ML-Agents group at Cohere Labs Open Science Research group

The Questions-of-Thoughts (QoT) Framework decomposes complex goals into sequential steps, solving each step through structured question chains. By progressively recording reasoning and updating responses in real time, it enables efficient, context-aware problem-solving.

Interactive Streamlit application that benchmarks direct prompting, chain-of-thought, self-consistency, tree-of-thought and reflexion techniques across OpenAI GPT-3.5 and Groq Gemma-9B-IT.

SCE-FOAM: Semantic Context-aware Framework for Adaptive Multimodal Reasoning

A reproducible harness for evaluating LLM reasoning strategies (CoT, Self-Consistency, ToT, etc.) across benchmarks like GSM8K, ARC-Challenge, and MMLU. Supports OpenAI, Hugging Face, and Ollama backends with unified metrics and plots.

Experimental framework for testing and measuring AI system capabilities, reasoning patterns, and emergent behaviors

Reinforcement Learning with Verifiable Rewards (RLVR) using AI Verifier for Medical Reasoning Correctness

A Deep Sentiment Analysis package

The ATL* logic reasoner TATL*