Popular GitHub Repositories for Logical Forms

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 bases. It can effectively overcome the shortcomings of the traditional RAG vector similarity calculation model.

Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.

We introduce the Audio Logical Reasoning (ALR) dataset, consisting of 6,446 text-audio annotated samples specifically designed for complex reasoning tasks. Building on this resource, we propose SoundMind, a rule-based reinforcement learning (RL) algorithm tailored to endow audio language models (ALMs) with deep bimodal reasoning abilities.

[ACL 2023] Reasoning with Language Model Prompting: A Survey

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

formsflow.ai is an open source forms-workflow-analytics solution framework.

Deep Learning and Logical Reasoning from Data and Knowledge

Multi-Hop Logical Reasoning in Knowledge Graphs

A .NET MAUI app for displaying the top posts on Hacker News that demonstrates text sentiment analysis gathered using artificial intelligence

The modern spam protection. Protects your forms from spam by simply checking the content. Open source, Free to use, Accessible, and Self-Hosted.

Inductive relation prediction by subgraph reasoning, ICML'20

The Resources for "Natural Language to Logical Form" ; "自然语言转逻辑形式"研究资料收集。

The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Connect(); 2018 - AI Visual Provision Sample App

GraphParser is a semantic parser which can convert natural language sentences to logical forms and graphs.

Tableau-based Theorem Prover for Natural Logic and Language

Build Business AI Agents for your company: business workflows, API's, bookings, e-commerce, social commerce, b2b, CPQ, intake forms, NPS tests, made-to-order use cases

Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models

A framework to convert Universal Dependencies to Logical Forms

Generate code and forms with AI for Delphi Object Pascal and C++Builder using LLMs like ChatGPT and Vicuna-13b.