8 results found Sort:
- Filter by Primary Language:
- Python (4)
- 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
146 commits to master branch, last one a day ago
128
1.4k
unknown
12
The Art of Problem-Solving in Software Engineering: How to Make MySQL Better
Created
2024-08-16
73 commits to main branch, last one 12 days ago
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Created
2022-09-14
145 commits to main branch, last one 2 months 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 4 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
4 commits to main branch, last one 4 months ago
Logic Circuits from the Juice library
Created
2019-12-21
1,089 commits to master branch, last one 9 months 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