☆22Feb 29, 2024Updated 2 years ago
Alternatives and similar repositories for LLMSymbolic
Users that are interested in LLMSymbolic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Super fast implementations of common benchmark text world games☆55Aug 25, 2025Updated last year
- Safe Reinforcement Learning with Natural Language Constraints☆17Oct 24, 2021Updated 4 years ago
- ☆10Mar 19, 2024Updated 2 years ago
- ☆10Oct 28, 2024Updated last year
- ☆12Aug 21, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆33Dec 6, 2023Updated 2 years ago
- Official implementation of paper "Efficient Tuning and Inference for Large Language Models on Textual Graphs"☆38Jun 24, 2024Updated 2 years ago
- ☆16Aug 7, 2026Updated last month
- Make/Encode some basic logic puzzles☆21Jul 10, 2024Updated 2 years ago
- ☆18Jul 12, 2025Updated last year
- [CoLM 24] Official Repository of MambaByte: Token-free Selective State Space Model☆27Oct 12, 2024Updated last year
- Code for the EMNLP24 paper "A simple and effective L2 norm based method for KV Cache compression."☆19Dec 13, 2024Updated last year
- ☆18Oct 27, 2024Updated last year
- Papers about the trend of Entity Linking in recent years.☆11Sep 5, 2022Updated 4 years 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.
- [CVRP 2025] Symbolic Representation for Any-to-Any Generative Tasks☆19Mar 24, 2025Updated last year
- ☆10Jan 7, 2022Updated 4 years ago
- The benchmark and datasets of the ICML 2024 paper "VisionGraph: Leveraging Large Multimodal Models for Graph Theory Problems in Visual C…☆17May 27, 2024Updated 2 years ago
- Dataset and code to reproduce the results of the paper "Evolving Structures in Complex Systems"☆11Dec 16, 2019Updated 6 years ago
- pytorch implements data enhancement and network regularization methods: cutmix, cutout, shakedrop, mixup, Label smoothing☆11Aug 19, 2021Updated 5 years ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆29Oct 3, 2025Updated 11 months ago
- ☆11May 8, 2023Updated 3 years ago
- Reference implementation of models from Nyonic Model Factory☆12May 13, 2024Updated 2 years ago
- Necesary scripts for miniting NFTs in the cardano blockchain using the NFT factory.☆10Oct 10, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Set Theory Game☆30Updated this week
- Formalization of IMO shortlist problems in Lean 4☆26Sep 18, 2026Updated last week
- Official PyTorch implementation of CD-MOE☆12Mar 18, 2026Updated 6 months ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆23Dec 12, 2021Updated 4 years ago
- The official implementation of the DAC 2024 paper GQA-LUT☆26Dec 20, 2024Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆44Jul 1, 2026Updated 2 months ago
- Create a custom GPT for your organization with file search. This demo shows how to create an assistant, set up a vector store, upload and…☆10May 23, 2024Updated 2 years ago
- TensorFlow implementation of the Dissimilarity Mixture Autoencoder: https://arxiv.org/abs/2006.08177☆13Dec 8, 2022Updated 3 years ago
- MU-GAN: Facial Attribute Editing based on Multi-attention Mechanism☆12Jun 7, 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.
- [CVPR 2023] Castling-ViT: Compressing Self-Attention via Switching Towards Linear-Angular Attention During Vision Transformer Inference☆31Mar 14, 2024Updated 2 years ago
- Full implementation of SmartOTPs: An air-gapped 2-factor authentication for smart-contract wallets.☆14Feb 23, 2026Updated 7 months ago
- Open source single image super-resolution toolbox containing various functionality for training a diverse number of state-of-the-art sup…☆18Jul 4, 2023Updated 3 years ago
- This the implementation of LeCo☆33Jan 20, 2025Updated last year
- ☆13Sep 17, 2022Updated 4 years ago
- Official repo: “Oh LLM, I’m Asking Thee, Please Give Me a Decision Tree”: Zero-Shot Decision Tree Induction and Embedding with Large Lang…☆18Aug 10, 2026Updated last month
- Hybrid biLSTM and CNN architecture for Sentence Unit Detection☆11Sep 28, 2020Updated 5 years ago