Popular GitHub Repositories for Logical Operators

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.

Jittor is a high-performance deep learning framework based on JIT compiling and meta-operators.

Learning in infinite dimension with neural operators.

High-efficiency floating-point neural network inference operators for mobile, server, and Web

Several simple examples for popular neural network toolkits calling custom CUDA operators.

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

PDEBench: An Extensive Benchmark for Scientific Machine Learning

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.

Physics-Informed Neural networks for Advanced modeling

OTOv1-v3, NeurIPS, ICLR, TMLR, DNN Training, Compression, Structured Pruning, Erasing Operators, CNN, Diffusion, LLM

Deep Learning and Logical Reasoning from Data and Knowledge

Multi-Hop Logical Reasoning in Knowledge Graphs

Inductive relation prediction by subgraph reasoning, ICML'20

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

Low-Level Graph Neural Network Operators for PyG

? Yet another operator for running large language models on Kubernetes with ease. Powered by Ollama! ?

This repository is the official implementation of the paper Convolutional Neural Operators for robust and accurate learning of PDEs

A Library for Advanced Neural PDE Solvers.

A Simple & Flexible Cross Framework Operators Toolkit

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