Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with reasoning
A curated list of projects in awesome lists tagged with reasoning .
https://github.com/typedb/typedb
TypeDB: the polymorphic database powered by types
database inference knowledge-base knowledge-representation logic polymorphic polymorphism reasoning strongly-typed type-system typedb typeql
Last synced: 01 Aug 2024
https://github.com/ysymyth/ReAct
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
decision-making large-language-models llm prompting reasoning
Last synced: 03 Aug 2024
https://github.com/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
Last synced: 31 Jul 2024
https://github.com/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
Last synced: 01 Aug 2024
https://github.com/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
Last synced: 27 Sep 2024
https://github.com/protegeproject/protege
Protege Desktop
java knowledge-graph knowledge-management obo ontology ontology-engineering owl protege protege-desktop rdf reasoning semantics
Last synced: 01 Aug 2024
https://github.com/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
Last synced: 31 Jul 2024
https://github.com/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
Last synced: 31 Jul 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/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
Last synced: 29 Jul 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/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
Last synced: 01 Aug 2024
https://github.com/reasoning-machines/pal
PaL: Program-Aided Language Models (ICML 2023)
commonsense-reasoning few-shot-learning language-generation language-model large-language-models reasoning
Last synced: 09 Aug 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/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
Last synced: 31 Jul 2024
https://github.com/snap-stanford/KGReasoning
Multi-Hop Logical Reasoning in Knowledge Graphs
embedding knowledge-base knowledge-graph reasoning
Last synced: 01 Aug 2024
https://github.com/posgnu/rci-agent
A codebase for "Language Models can Solve Computer Tasks"
large-language-models prompting reasoning
Last synced: 31 Jul 2024
https://github.com/DeepGraphLearning/GNN-QE
Official implementation of Graph Neural Network Query Executor (ICML 2022)
fuzzy-logic graph-neural-networks knowledge-graph reasoning
Last synced: 01 Aug 2024
https://github.com/opennars/OpenNARS-for-Applications
General reasoning component for applications based on NARS theory.
ai artificial-intelligence nal nars non-axiomatic-logic non-axiomatic-reasoning procedu reasoner reasoning
Last synced: 31 Jul 2024
https://github.com/reasoning-machines/CoCoGen
Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)
code-generation commonsense-reasoning few-shot-learning large-language-models reasoning
Last synced: 31 Jul 2024
https://github.com/pseudotensor/open-strawberry
Building open version of OpenAI o1 via reasoning traces (Groq, ollama, Anthropic, Gemini, OpenAI, Azure supported) Demo: https://huggingface.co/spaces/pseudotensor/open-strawberry
anthropic chain-of-thought groq llama3 o1 openai reasoning
Last synced: 01 Oct 2024
https://github.com/debate-map/app
Monorepo for the client, server, etc. of the Debate Map website.
argument-maps argumentation critical-thinking debate debate-maps debating reasoning
Last synced: 07 Aug 2024
https://debjitpaul.github.io/refiner/
About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate to open an issue if you run into any trouble!
few-shot-learning gpt-3-5-turbo natural-language-generation natural-language-processing reasoning reasoning-machine
Last synced: 01 Aug 2024
https://github.com/lupantech/IconQA
Data and code for NeurIPS 2021 Paper "IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning".
commensense dataset mathai pytorch reasoning vqa
Last synced: 02 Aug 2024
https://github.com/logikon-ai/logikon
Analyzing and scoring reasoning traces of LLMs
ai argument-mapping argument-mining argumentation critical-thinking explainable-ai llmops llms metrics mlops observability reasoning reasoning-agent reliable-ai
Last synced: 01 Aug 2024
https://github.com/Scagin/NeuralLogicReasoning
An Implementation of NLR: Neural Collaborative Reasoning, paper: https://arxiv.org/abs/2005.08129
neural-network paper reasoning
Last synced: 08 Aug 2024
https://github.com/KnowledgeGraphJapan/KGRC-RDF
RDF data for Knowledge Graph Reasoning Challenge.
Last synced: 02 Aug 2024
https://github.com/Bassem-Makni/NMT4RDFS
Neural Machine Translation for RDFS reasoning: code and datasets for "Deep learning for noise-tolerant RDFS reasoning" http://www.semantic-web-journal.net/content/deep-learning-noise-tolerant-rdfs-reasoning-4
deep-learning deep-neural-networks graph-words nmt nmt-model noise-tolerance rdf rdfs reasoning semantic-web sparql
Last synced: 02 Aug 2024
https://github.com/xf-zhao/LoT
Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"
chain-of-thought chain-of-thought-prompting chain-of-thought-reasoning chain-of-thoughts coling coling2024 language language-model llm llms logic lot reasoning symbolic-logic symbolic-logic-reasoning zero-shot
Last synced: 31 Jul 2024
https://github.com/chanind/tensor-theorem-prover
First-order logic theorem prover supporting unification with approximate vector similarity
first-order-logic logic reasoning symbolic-logic theorem-proving
Last synced: 03 Aug 2024
https://github.com/lucidrains/scattering-compositional-learner
Implementation of Scattering Compositional Learner in Pytorch
artificial-intelligence deep-learning reasoning
Last synced: 03 Oct 2024
https://github.com/atfortes/DataGenLM
Synthetic data generation for evaluating Large Language Models reasoning.
chain-of-thought chatgpt coin concatenation data-engineering dataset dataset-generation flip gpt-3 json language-model large-language-models last letter machine-learning natural-language-processing random-generation reasoning symbolic symbolic-reasoning
Last synced: 01 Aug 2024
https://github.com/asolimando/logmap-conservativity
LogMap extension for conservativity principle
artificial-intelligence data-integration description-logics java logmap ontology-alignment ontology-matching owl-ontology reasoning repair semantic-web
Last synced: 01 Oct 2024
https://github.com/senthuran16/spaceship-and-asteroids-b-specification
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using Atelier B & ProB.
asteroids asteroids-game atelier-b b-language game maze pro-b reasoning spaceship
Last synced: 01 Oct 2024