Pinned Repositories
CodeRanker
Fault-aware neural code rankers
graph-connectivity
LabelNoiseFlatMinimizers
Lean-Inequalities
math-retrieval
minimario.github.io2
MORBiT
sam
SAM: Sharpness-Aware Minimization (PyTorch)
Sym-NCO
t5-on-apps
minimario's Repositories
minimario/t5-on-apps
minimario/math-retrieval
minimario/CodeRanker
Fault-aware neural code rankers
minimario/graph-connectivity
minimario/LabelNoiseFlatMinimizers
minimario/Lean-Inequalities
minimario/MORBiT
minimario/sam
SAM: Sharpness-Aware Minimization (PyTorch)
minimario/Sym-NCO
minimario/Sym-NCO-IL
minimario/6s965-fall2022
minimario/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
minimario/bigcode-inference-benchmark
minimario/code-skeleton-ui
minimario/amt-apc
AMT-APC: AMT-APC: Automatic Piano Cover by Fine-Tuning an Automatic Music Transcription Model
minimario/CodeTF
CodeTF: One-stop Transformer Library for State-of-the-art Code LLM
minimario/CodeXGLUE
CodeXGLUE
minimario/cruxeval-lcb
minimario/egg
egg is a flexible, high-performance e-graph library
minimario/evalplus
EvalPlus for rigourous evaluation of LLM-synthesized code
minimario/FastCode
Utilities for efficient fine-tuning, inference and evaluation of code generation models
minimario/flask-counter-app
minimario/layer-stacking
minimario/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
minimario/LiveCodeBench
Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"
minimario/minimario.github.io
minimario/MobileLLM
MobileLLM Optimizing Sub-billion Parameter Language Models for On-Device Use Cases. In ICML 2024.
minimario/ReACC
Source codes for paper ”ReACC: A Retrieval-Augmented Code Completion Framework“
minimario/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
minimario/www
CAP group website