reasoning

There are 16 repositories under reasoning topic.

typedb
typedb / typedb
TypeDB: one giant leap for databases
database knowledge-base knowledge-representation reasoning logic inference typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Rust 3762
ysymyth / ReAct
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
decision-making large-language-models llm prompting reasoning
Language:Jupyter Notebook 1866
shaoxiongji / knowledge-graphs
A collection of research on knowledge graphs
knowledge-graph representation-learning relation-extraction reasoning natural-language-processing temporal-knowledge-graph ner commonsense meta-relational-learning cross-modal knowledge-graph-completion question-answering dialogue-systems recommendation-systems information-retrieval survey paper
Language:JavaScript 1658
atfortes / Awesome-LLM-Reasoning
Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought and OpenAI o1 🍓
awesome chain-of-thought chatgpt cot gpt gpt-4o in-context-learning language-models mllm multimodal openai-o1 papers prompt prompt-engineering reasoning strawberry
1535
amazon-science / auto-cot
Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)
chain-of-thought gpt-3 gpt3-prompts gpt3-resources large-language-models prompt-engineering reasoning
Language:Jupyter Notebook 1433
zjunlp / KnowLM
An Open-sourced Knowledgable Large Language Model Framework.
bilingual chinese deep-learning deepspeed english gpt-3 instructie instruction-following instruction-tuning instructions knowlm language-model large-language-models llama lora models pre-trained-language-models pre-trained-model pre-training reasoning
Language:Python 1203
protegeproject / protege
Protege Desktop
protege protege-desktop ontology owl obo ontology-engineering knowledge-graph knowledge-management java reasoning rdf semantics
Language:Java 999
brylevkirill / notes
Learn about Machine Learning and Artificial Intelligence
artificial-intelligence bayesian-inference causal-inference deep-learning information-retrieval knowledge-graph knowledge-representation machine-learning natural-language-processing probabilistic-programming question-answering reasoning recommender-systems reinforcement-learning
915
OpenBioLink / ThoughtSource
A central, open resource for data and tools related to chain-of-thought reasoning in large language models. Developed @ Samwald research group: https://samwald.info/
dataset machine-learning natural-language-processing question-answering reasoning
Language:Jupyter Notebook 867
zjunlp / Prompt4ReasoningPapers
[ACL 2023] Reasoning with Language Model Prompting: A Survey
arithmetic-reasoning artificial-intelligence awsome-list chain-of-thought chatgpt commonsense-reasoning datasets gpt-3 language-models large-language-models llm logical-reasoning natural-language-processing nlp paper-list prompt prompt-engineering reasoning survey symbolic-reasoning
861
hendrycks / math
The MATH Dataset (NeurIPS 2021)
logic math reasoning
Language:Python 830
plastic-labs / tutor-gpt
Theory-of-mind powered AI tutor using o1 style reasoning
ai education literacy machine-learning prompt-engineering theory-of-mind tutoring hacktoberfest o1 reasoning
Language:TypeScript 711
self-refine
madaan / self-refine
LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.
chatgpt few-shot-learning gpt-35 gpt-4 language-generation large-language-models llms prompting prompts reasoning
Language:Python 561
xwhan / DeepPath
code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"
tensorflow knowledge-graph reasoning emnlp2017
Language:Python 528
Nucleoid
NucleoidAI / Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
node javascript neuro-symbolic-ai neuro-symbolic reasoning semantic-reasoning symbolic reasoning-engine semantic-reasoner logic logic-programming expert-system knowledge-base knowledge rag knowledge-graph graph-rag neuro-symbolic-learning
Language:JavaScript 527
jeffhj / LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
large-language-models reasoning deductive-reasoning natural-language-processing artificial-intelligence human-intelligence language-modeling language-models awesome-list chain-of-thought paper-list in-context-learning prompt-learning chatgpt gpt-3 llm prompt-engineering
523
HCPLab-SYSU / Embodied_AI_Paper_List
[Embodied-AI-Survey-2024] Paper list and projects for Embodied AI
agent causality embodied-ai interaction manipulation navigation percpetion reasoning robotics survey
516
rowanz / r2c
Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)
visual reasoning vision vcr visual-commonsense-reasoning commonsense
Language:Python 464
reasoning-machines / pal
PaL: Program-Aided Language Models (ICML 2023)
commonsense-reasoning few-shot-learning language-generation language-model large-language-models reasoning
Language:Python 462
allenai / lumos
Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"
decision-making grounding language-agent maths planning question-answering reasoning web-agent
Language:Python 439
INK-USC / RE-Net
Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)
knowledge-graph graph-neural-networks reasoning temporal-networks dynamic-networks
Language:Python 433
opennars / opennars
OpenNARS for Research 3.0+
agi aikr nars reasoning logic ai agent rl learning reinforcement java reasoner semantic graph database realtime inference solver artificial-general-intelligence nal
Language:Java 381
zjunlp / EasyInstruct
[ACL 2024] An Easy-to-use Instruction Processing Framework for LLMs.
api chain-of-thought chatgpt easyinstruct gpt gpt-3 in-context-learning instructions knowlm large-language-models llama multimodal prompt prompting pypy-library python reasoning tool
Language:Python 354
StrumentiResistenti / Tagsistant
Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service
semantic linux filesystem tagging tags reasoning
Language:C 311
michiyasunaga / dragon
[NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pretraining
knowledge-graph language-model pretraining question-answering reasoning graph-neural-networks transformer
Language:Python 309
RManLuo / reasoning-on-graphs
Official Implementation of ICLR 2024 paper: "Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning"
kg knowledge large-language-models llm reasoning reasoning-on-graph
Language:Python 294
newca12 / awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
formal-verification prover automated-theorem-provers theorem-prover reasoning logic constructive-mathematics dependent-types theorem-proving proof-assistants rust
291
snap-stanford / KGReasoning
Multi-Hop Logical Reasoning in Knowledge Graphs
knowledge-graph knowledge-base embedding reasoning
Language:Python 277
iiis-ai / cumulative-reasoning
Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)
large-language-models llm math prompting reasoning
Language:Python 274
INK-USC / KagNet
Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)
commonsense commonsense-reasoning graphneuralnetwork natural-language-processing reasoning
Language:Python 271
anchen1011 / FireAct
FireAct: Toward Language Agent Fine-tuning
agent fine-tuning large-language-models llm reasoning
Language:Python 242
schwering / limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
logic reasoning knowledge beliefs
Language:C++ 237
IBM / LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
neuro-symbolic-ai machine-learning reasoning logic
Language:Python 228
dvlab-research / Step-DPO
Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
dpo llm math reasoning
Language:Python 225
ccclyu / awesome-deeplogic
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
first-order-logic deep-logic-model paper-list neuro-symbolic-learning reasoning psl
221
posgnu / rci-agent
A codebase for "Language Models can Solve Computer Tasks"
large-language-models prompting reasoning
Language:HTML 218