PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆38Oct 2, 2024Updated last year
Alternatives and similar repositories for LTNtorch
Users that are interested in LTNtorch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deep Learning and Logical Reasoning from Data and Knowledge☆356Nov 13, 2024Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆157Oct 2, 2024Updated last year
- Natural language understanding benchmarks for Norwegian☆14Aug 29, 2025Updated 8 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆326Aug 9, 2024Updated last year
- Benchmark of crystal structure prediction algorithms☆15Jun 9, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Find more info @ youtube.com/axiomaticuncertainty☆11Aug 20, 2018Updated 7 years ago
- Enhanced CNN-based Small Target Detection in Sea Clutter with Controllable False Alarm☆17Apr 14, 2023Updated 3 years ago
- Repository for "Rescan: Inductive Instance Segmentation for Indoor RGBD Scans" (ICCV 2019)☆17Mar 12, 2020Updated 6 years ago
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10May 15, 2019Updated 6 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 11 months ago
- Official implementation of "BERTs are Generative In-Context Learners"☆32Mar 14, 2025Updated last year
- Variational Interpretable Concept Embeddings☆18Dec 12, 2023Updated 2 years ago
- This is a project using neural-network reinforcement learning to solve the 8 puzzle problem (or even N puzzle)☆11Mar 24, 2018Updated 8 years ago
- ROS package implementing bug 0, 1, and 2 in Python☆12Mar 26, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Jun 20, 2024Updated last year
- ☆15Sep 8, 2023Updated 2 years ago
- ☆12Sep 15, 2021Updated 4 years ago
- LLM training parallelisms (DP, FSDP, TP, PP) in pure C☆28Jan 27, 2026Updated 3 months ago
- Reinforcement Learning for Cut Selection☆12Dec 8, 2022Updated 3 years ago
- ☆12Mar 18, 2022Updated 4 years ago
- This is our implementation of IntEL-Intent-aware Ranking Ensemble for Personalized Recommendation (SIGIR2023)☆24Nov 17, 2023Updated 2 years ago
- ☆38Jan 26, 2024Updated 2 years ago
- Code for paper: Neural Logic Reasoning☆56Jul 6, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [EMNLP 2022 Findings] Search to Pass Messages for Temporal Knowledge Graph Completion☆12Dec 11, 2022Updated 3 years ago
- MulinforCPI: enhancing precision of compound-protein interaction prediction through novel perspectives on multi-level information integra…☆10Jun 20, 2024Updated last year
- ☆16May 6, 2025Updated last year
- ☆11Jul 18, 2024Updated last year
- Official repo to On the Generalization Ability of Retrieval-Enhanced Transformers☆48Jun 4, 2024Updated last year
- Matlab code for Low rank Matrix Factorization with AMP☆17Aug 18, 2015Updated 10 years ago
- Repository of the metadata specification mobilityDCAT-AP☆18May 4, 2026Updated last week
- Code and data for "Learning Program Representations for Food Images and Cooking Recipes" (oral at CVPR 2022)☆15Mar 30, 2022Updated 4 years ago
- [ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning☆30Jan 15, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code to reproduce key results accompanying "SAEs (usually) Transfer Between Base and Chat Models"☆13Jul 18, 2024Updated last year
- A collection of particularly difficult test scenarios for evaluating browser-use.☆26Nov 20, 2025Updated 5 months ago
- ☆11May 2, 2023Updated 3 years ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 4 years ago
- ☆16Apr 9, 2021Updated 5 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 4 years ago
- The software associated with a paper accepted at EMNLP 2021 titled "Open Knowledge Graphs Canonicalization using Variational Autoencoders…☆16Sep 27, 2021Updated 4 years ago