☆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:
- ☆10Mar 19, 2024Updated 2 years ago
- ☆10Oct 28, 2024Updated last year
- Code associated with ebook Ray Tracing The Next Week by Peter Shirley. This work is in the public domain. My fork adds C++11 threads ba…☆14May 31, 2018Updated 8 years ago
- Data release for Step Differences in Instructional Video (CVPR24)☆15Jun 19, 2024Updated 2 years ago
- LLM play 20questions with itself☆13Mar 31, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Weakly-supervised action segmentation in video☆16Feb 13, 2022Updated 4 years ago
- ☆16Aug 7, 2026Updated last month
- Code and Data for "Language Modeling with Editable External Knowledge"☆39Jun 19, 2024Updated 2 years ago
- Make/Encode some basic logic puzzles☆21Jul 10, 2024Updated 2 years ago
- [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
- [COLM'24] "Deductive Beam Search: Decoding Deducible Rationale for Chain-of-Thought Reasoning"☆21Jun 14, 2024Updated 2 years ago
- Examples of Verbalized Machine Learning (VML)☆16Mar 16, 2025Updated last year
- A wireless infusion pump system workbench for security research☆18Jun 22, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [CVRP 2025] Symbolic Representation for Any-to-Any Generative Tasks☆19Mar 24, 2025Updated last year
- Official implementation of VSViG☆20Oct 30, 2025Updated 10 months ago
- DHCP starvation utility☆10Mar 25, 2017Updated 9 years ago
- Dataset and code to reproduce the results of the paper "Evolving Structures in Complex Systems"☆11Dec 16, 2019Updated 6 years ago
- Measuring General Intelligence With Generated Games (Preprint)☆25Jul 30, 2025Updated last year
- ☆11May 8, 2023Updated 3 years ago
- Set Theory Game☆30Jan 20, 2026Updated 7 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆26May 29, 2024Updated 2 years ago
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 11 months 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.
- 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☆25Dec 20, 2024Updated last year
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 10 months ago
- Residual vector quantization for KV cache compression in large language model☆12Oct 22, 2024Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆44Jul 1, 2026Updated 2 months ago
- Differentiable non-uniform interpolation: https://arxiv.org/abs/2012.13257☆11Oct 3, 2021Updated 4 years ago
- Code for Personalized Large Language Models via Selective Prompt Tuning☆10Jun 26, 2024Updated 2 years ago
- ☆16Dec 9, 2023Updated 2 years ago
- [CVPR 2023] Castling-ViT: Compressing Self-Attention via Switching Towards Linear-Angular Attention During Vision Transformer Inference☆31Mar 14, 2024Updated 2 years 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.
- Full implementation of SmartOTPs: An air-gapped 2-factor authentication for smart-contract wallets.☆13Feb 23, 2026Updated 6 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
- mobile international certificate of vaccination☆11Nov 9, 2021Updated 4 years ago
- ☆13Sep 17, 2022Updated 3 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 3 weeks ago
- ☆25Jun 28, 2026Updated 2 months ago