-
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedApr 14, 2025 -
-
-
PyPantograph Public
Forked from stanford-centaur/PyPantographA Machine-to-Machine Interaction System for Lean 4.
Python Apache License 2.0 UpdatedJan 29, 2025 -
-
LiveCodeBench Public
Forked from LiveCodeBench/LiveCodeBenchOfficial repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"
Python MIT License UpdatedDec 19, 2024 -
-
amt-apc Public
Forked from misya11p/amt-apcAMT-APC: AMT-APC: Automatic Piano Cover by Fine-Tuning an Automatic Music Transcription Model
Python MIT License UpdatedOct 17, 2024 -
MobileLLM Public
Forked from facebookresearch/MobileLLMMobileLLM Optimizing Sub-billion Parameter Language Models for On-Device Use Cases. In ICML 2024.
Python Other UpdatedJul 9, 2024 -
transformers Public
Forked from huggingface/transformers🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Python Apache License 2.0 UpdatedJun 19, 2024 -
LeanEuclid Public
Forked from loganrjmurphy/LeanEuclidLeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Lean MIT License UpdatedMay 31, 2024 -
-
-
bigcode-evaluation-harness Public
Forked from bigcode-project/bigcode-evaluation-harnessA framework for the evaluation of autoregressive code generation language models.
Python Apache License 2.0 UpdatedFeb 23, 2024 -
-
evalplus Public
Forked from evalplus/evalplusEvalPlus for rigourous evaluation of LLM-synthesized code
Python Apache License 2.0 UpdatedNov 30, 2023 -
-
-
FastCode Public
Forked from Naman-ntc/FastCodeUtilities for efficient fine-tuning, inference and evaluation of code generation models
Python MIT License UpdatedAug 23, 2023 -
-
CodeTF Public
Forked from salesforce/CodeTFCodeTF: One-stop Transformer Library for State-of-the-art Code LLM
Python Apache License 2.0 UpdatedJul 4, 2023 -
LabelNoiseFlatMinimizers Public
Forked from alex-damian/LabelNoiseFlatMinimizers -
sam Public
Forked from davda54/samSAM: Sharpness-Aware Minimization (PyTorch)
-
CodeRanker Public
Forked from microsoft/CodeRankerFault-aware neural code rankers
-
-
bigcode-inference-benchmark Public
Forked from bigcode-project/bigcode-inference-benchmarkPython Apache License 2.0 UpdatedFeb 4, 2023 -
-
-
-
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedNov 13, 2022
{{ message }}