Automated theorem prover for Reasoning @ UoB

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

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

Database Reasoning Over Text project for ACL paper

Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)

A Reasoning Tool for Argumentation Framework, powered by Logic Programming and Game Theory

Translates natural language sentences to symbolic logic.

Algebras for qualitative reasoning about time, space, etc.

Fridge demo main repository

This repository collects project-relevant Isabelle/HOL formalizations.

Evaluation data for the IJCAI 2022 paper "Simulating Sets in Answer Set Programming"

Automated analysis of probabilistic truth-table tasks for studies on reasoning under uncertainty.

BlueMO: A comprehensive collection of challenging mathematical olympiad problems and solutions from the renowned 'Little Blue Book' (小蓝书) series, tailored for evaluating the reasoning capabilities of language models.

Training Language Models with Syntactic Data Generation (https://huggingface.co/datasets/math-ai/TemplateGSM)

Multimodal Learning and Reasoning for Visual Question Answering

[NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pretraining

[EMNLP 2023] Question Answering as Programming for Solving Time-Sensitive Questions

“We should let ourselves be guided by what is common to all… Yet, although the Lógos is common to all, most people live as if each of them had their own private understanding.” － Ἡράκλειτος ὁ Ἐφέσιος

The Dynamic Knowledge System (DKS) develops adaptive knowledge representation models that evolve in real-time, learning, updating, and reasoning under uncertainty.