cassanof / finetuning-harnessLinks
Simple pipeline and library for finetuning HuggingFace LLMs
☆18Updated 11 months ago
Alternatives and similar repositories for finetuning-harness
Users that are interested in finetuning-harness are comparing it to the libraries listed below
Sorting:
- Harmonic Datasets☆40Updated 10 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆62Updated 3 weeks ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated last year
- gzip Predicts Data-dependent Scaling Laws☆35Updated last year
- ☆75Updated 2 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆48Updated 10 months ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆37Updated 10 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆84Updated 5 months ago
- Mamba support for transformer lens☆17Updated 8 months ago
- Using Large Language Models for Repo-wide Type Prediction☆109Updated last year
- A scalable abstraction learning library☆78Updated this week
- Experiments for efforts to train a new and improved t5☆77Updated last year
- ☆20Updated 3 years ago
- Python client to interact with the lean4 language server.☆14Updated this week
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆54Updated 3 years ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆141Updated 7 months ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- ☆83Updated 5 months ago
- Formalizing stochastic doubly-efficient debate☆105Updated 7 months ago
- ☆45Updated 8 months ago
- ☆22Updated 7 months ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆73Updated 10 months ago
- ☆12Updated 2 years ago