☆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
- ☆12Aug 21, 2024Updated 2 years ago
- A high-efficiency text embedding and reranking model based on RWKV architecture.☆22Sep 12, 2026Updated last month
- 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.
- The official implementation of NeurIPS2024 paper "SubgDiff: A Subgraph Diffusion Model to Improve Molecular Representation Learning."☆11May 28, 2025Updated last year
- A Futhark implementation of Ray Tracing: the Next Week☆15Oct 4, 2025Updated last year
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆33Dec 6, 2023Updated 2 years ago
- Iterative Contrast-Classify For Semi-supervised Temporal Action Segmentation☆11Jul 24, 2023Updated 3 years ago
- ☆16Aug 7, 2026Updated 2 months ago
- REBORN: Reinforcement-Learned Boundary Segmentation with Iterative Training for Unsupervised ASR☆18Dec 11, 2024Updated last year
- ☆18Jul 12, 2025Updated last year
- [CoLM 24] Official Repository of MambaByte: Token-free Selective State Space Model☆26Oct 12, 2024Updated 2 years ago
- Code and Data for "Language Modeling with Editable External Knowledge"☆40Jun 19, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- ☆18Oct 27, 2024Updated last year
- Private Identity Claim System with Zero-Knowledge for DarkForest.eth☆11May 15, 2022Updated 4 years ago
- Two Birds, One Stone: A Unified Framework for Joint Learning of Image and Video Style Transfers(ICCV2023)☆17Sep 30, 2023Updated 3 years ago
- Papers about the trend of Entity Linking in recent years.☆11Sep 5, 2022Updated 4 years ago
- Official implementation of VSViG☆20Oct 30, 2025Updated 11 months ago
- ☆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
- 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.
- [ICLR 2024 Poster] SCHEMA: State CHangEs MAtter for Procedure Planning in Instructional Videos☆20Aug 21, 2025Updated last year
- ☆10May 8, 2023Updated 3 years ago
- Framework to develop and back-test online strategies for Uniswap v3 liquidity provision.☆11Jun 14, 2023Updated 3 years ago
- Reference implementation of models from Nyonic Model Factory☆12May 13, 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
- Replace the MS-TCN with ASFormer in asrf☆23Oct 28, 2021Updated 4 years ago
- Formalization of IMO shortlist problems in Lean 4☆27Updated this week
- Re-implementation for ICCV23 "Social Diffusion: Long-term Multiple Human Motion Anticipation"☆24Oct 3, 2023Updated 3 years ago
- Official PyTorch implementation of CD-MOE☆12Mar 18, 2026Updated 6 months 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.
- 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
- Set Theory Game☆30Sep 21, 2026Updated 3 weeks ago
- HT-Step is a large-scale article grounding dataset of temporal step annotations on how-to videos☆27Mar 20, 2024Updated 2 years ago
- Residual vector quantization for KV cache compression in large language model☆12Oct 22, 2024Updated last year
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- Code and model for the Video Event Reconstruction and Analysis (VERA) system. This repo is for the 3D event reconstruction part.☆12Jul 2, 2019Updated 7 years ago