☆30Sep 4, 2026Updated 2 months ago
Alternatives and similar repositories for slm-harness-adaptation
Users that are interested in slm-harness-adaptation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agent-assisted and full-agent reproducibility package for MLSys 2026 FlashInfer AI Kernel Generation Contest submissions: kernels, agent …☆24Jul 21, 2026Updated 3 months ago
- code for paper "BiLD: Bi-directional Logits Difference Loss for Large Language Model Distillation"☆11Dec 17, 2024Updated last year
- Plan-aware Test Database Generation for SQL Equivalence Evaluation☆13Oct 6, 2026Updated last month
- EMMA [TMLR 2025]☆14Sep 25, 2025Updated last year
- Converting Boolean expressions to CMOS Circuits☆11Oct 6, 2020Updated 6 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.
- 🫧 Code for Holistic Reasoning with Long-Context LMs: A Benchmark for Database Operations on Massive Textual Data (Maekawa*, Iso* et al.…☆13Feb 25, 2025Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- ☆11Feb 14, 2020Updated 6 years ago
- AI remembers, you find. File-based long-term memory and project maps for any AI coding tool, plus a zero-dependency governance CLI for ch…☆14Updated this week
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 8 months ago
- ☆11Mar 11, 2025Updated last year
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- This is the official repository for the paper From Failed Trajectories to Reliable LLM Agents: Diagnosing and Repairing Harness Flaws☆27Jul 2, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- WIP: cxtgo is a general interface to popular cryptocurrency exchanges, inspired by (https://www.ccxt.trade)☆11Jul 11, 2018Updated 8 years ago
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months ago
- This repository contains additional reference translations for the WMT'14 En-De (newstest2014) and WMT'19 En-Ru (newstest2019) test sets …☆15Aug 31, 2021Updated 5 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- An Accelerator for Convolution layer designed with Vivado HLS.☆10Dec 4, 2020Updated 5 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 6 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- "Finding Reusable Instructions via E-Graph Anti-Unification", ASPLOS'26☆13Feb 25, 2026Updated 8 months 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.
- ☆17Oct 13, 2025Updated last year
- Official code for "Learning to compute Gröbner bases" (NeurIPS 2024)☆10Nov 18, 2024Updated last year
- Deferred Continuous Batching in Resource-Efficient Large Language Model Serving (EuroMLSys 2024)☆20May 28, 2024Updated 2 years ago
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 11 years ago
- [DAC2024] Explainable Fuzzy Neural Network with Multi-Fidelity Reinforcement Learning for Micro-Architecture Design Space Exploration☆10Jul 21, 2026Updated 3 months ago
- ☆16Jul 3, 2023Updated 3 years ago
- ☆12Updated this week
- End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI☆12Sep 21, 2026Updated last month
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UCSD Standard Cell Synthesis: FinFET and CFET technologies with DTCO features☆18Aug 8, 2026Updated 3 months ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated last year
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- ☆14Feb 18, 2026Updated 8 months ago
- Ride the Wellen! 🌊☆17Aug 27, 2026Updated 2 months ago
- [ICML 2026] Principle-Evolvable Scientific Discovery via Uncertainty Minimization☆48Jul 4, 2026Updated 4 months ago
- A Dataset for Direct Quotation Extraction and Attribution in News Articles.☆15Sep 28, 2021Updated 5 years ago
Are these results useful?