☆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:
- ☆10Oct 28, 2024Updated last year
- ☆10Mar 19, 2024Updated 2 years ago
- ☆12Aug 21, 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
- 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.
- A Futhark implementation of Ray Tracing: the Next Week☆15Oct 4, 2025Updated 9 months ago
- ☆21Dec 30, 2024Updated last year
- 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
- Weakly-supervised action segmentation in video☆16Feb 13, 2022Updated 4 years ago
- ☆16Apr 2, 2025Updated last year
- Code and Data for "Language Modeling with Editable External Knowledge"☆37Jun 19, 2024Updated 2 years ago
- Make/Encode some basic logic puzzles☆19Jul 10, 2024Updated 2 years ago
- ☆17Jul 12, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [CoLM 24] Official Repository of MambaByte: Token-free Selective State Space Model☆27Oct 12, 2024Updated last year
- REBORN: Reinforcement-Learned Boundary Segmentation with Iterative Training for Unsupervised ASR☆15Dec 11, 2024Updated last year
- Genetic programming for math equations with prefix expression trees.☆17Sep 2, 2018Updated 7 years ago
- 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
- ☆17Oct 27, 2024Updated last year
- Two Birds, One Stone: A Unified Framework for Joint Learning of Image and Video Style Transfers(ICCV2023)☆17Sep 30, 2023Updated 2 years ago
- Opengl to load .obj files☆20Sep 29, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Papers about the trend of Entity Linking in recent years.☆11Sep 5, 2022Updated 3 years ago
- [CVRP 2025] Symbolic Representation for Any-to-Any Generative Tasks☆19Mar 24, 2025Updated last year
- Official implementation of VSViG☆20Oct 30, 2025Updated 8 months 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
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆28Oct 3, 2025Updated 9 months ago
- Framework to develop and back-test online strategies for Uniswap v3 liquidity provision.☆11Jun 14, 2023Updated 3 years ago
- pytorch implements data enhancement and network regularization methods: cutmix, cutout, shakedrop, mixup, Label smoothing☆11Aug 19, 2021Updated 4 years ago
- Reference implementation of models from Nyonic Model Factory☆12May 13, 2024Updated 2 years ago
- Replace the MS-TCN with ASFormer in asrf☆23Oct 28, 2021Updated 4 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.
- Set Theory Game☆27Jan 20, 2026Updated 6 months ago
- Re-implementation for ICCV23 "Social Diffusion: Long-term Multiple Human Motion Anticipation"☆24Oct 3, 2023Updated 2 years ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 2 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
- Official PyTorch implementation of CD-MOE☆12Mar 18, 2026Updated 4 months ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆22Dec 12, 2021Updated 4 years ago
- The official implementation of the DAC 2024 paper GQA-LUT☆24Dec 20, 2024Updated last year