9 results found Sort:
- Filter by Primary Language:
- Python (5)
- Julia (1)
- +
KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge base...
Created
2024-09-21
156 commits to master branch, last one 10 hours ago
144
1.7k
unknown
15
The Art of Problem-Solving in Software Engineering: How to Make MySQL Better
Created
2024-08-16
78 commits to main branch, last one a day ago
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Created
2022-09-14
153 commits to main branch, last one 15 days ago
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
Created
2020-02-27
25 commits to master branch, last one 5 years ago
Inductive relation prediction by subgraph reasoning, ICML'20
Created
2020-06-16
3 commits to master branch, last one 4 years ago
On Memorization of Large Language Models in Logical Reasoning
Created
2024-10-30
6 commits to main branch, last one 26 days ago
Logic Circuits from the Juice library
Created
2019-12-21
1,089 commits to master branch, last one 10 months ago
Evaluation on Logical Reasoning and Abstract Reasoning Challenges
Created
2023-04-04
174 commits to main branch, last one 2 days ago
Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023
Created
2023-05-04
30 commits to main branch, last one about a year ago