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 3760
ysymyth / ReAct
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
decision-making large-language-models llm prompting reasoning
Language:Jupyter Notebook 1867
shaoxiongji / knowledge-graphs
A collection of research on knowledge graphs
commonsense cross-modal dialogue-systems information-retrieval knowledge-graph knowledge-graph-completion meta-relational-learning natural-language-processing ner paper question-answering reasoning recommendation-systems relation-extraction representation-learning survey temporal-knowledge-graph
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
1512
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 1430
zjunlp / KnowLM
An Open-sourced Knowledgable Large Language Model Framework.
llama large-language-models pre-trained-language-models language-model instruction-following deep-learning chinese english instructions models reasoning gpt-3 deepspeed instruction-tuning lora pre-training bilingual pre-trained-model knowlm instructie
Language:Python 1200
protegeproject / protege
Protege Desktop
java knowledge-graph knowledge-management obo ontology ontology-engineering owl protege protege-desktop rdf reasoning 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 826
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"
emnlp2017 knowledge-graph reasoning tensorflow
Language:Python 528
Nucleoid
NucleoidAI / Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
expert-system graph-rag javascript knowledge knowledge-base knowledge-graph logic logic-programming neuro-symbolic neuro-symbolic-ai neuro-symbolic-learning node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic
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
embodied-ai agent causality interaction reasoning robotics percpetion manipulation survey navigation
512
rowanz / r2c
Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)
commonsense reasoning vcr vision visual visual-commonsense-reasoning
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 438
INK-USC / RE-Net
Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)
dynamic-networks graph-neural-networks knowledge-graph reasoning temporal-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.
gpt-3 instructions prompt api chain-of-thought gpt large-language-models multimodal reasoning in-context-learning easyinstruct chatgpt pypy-library python prompting tool llama knowlm
Language:Python 354
StrumentiResistenti / Tagsistant
Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service
filesystem linux reasoning semantic tagging tags
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 308
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 293
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
embedding knowledge-base knowledge-graph reasoning
Language:Python 276
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++
beliefs knowledge logic reasoning
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)
deep-logic-model first-order-logic neuro-symbolic-learning paper-list psl reasoning
221
posgnu / rci-agent
A codebase for "Language Models can Solve Computer Tasks"
large-language-models prompting reasoning
Language:HTML 217
typeql
typedb / typeql
TypeQL: the modern query language of TypeDB
reasoning query-language query inference logic database typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Java 217