marcusm117

Pinned Repositories

AMIE-OpenEd
Wiki for Open Education Resources
0 0 01
evalplus
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023
Language:Python1.1k 7 173102
CN-abr-proxy
Educational Adaptive Bitrate Streaming Proxy
Language:Python00
CN-Stanford-CS-144
Fall 2021
Language:C++0 0 00
DB-CMU-15-445
Fall 2022
Language:C++0 0 00
FV-bmc-llvm
Educational Bounded Model Checker for LLVM IR
Language:Python1 1 00
human-eval-enhanced
Bug-Fixed HumanEval Dataset
Language:Python0 0 00
IdentityChain
[ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain
Language:Python6 3 00
marcusm117
00
mctk
Python Package Model Checking Toolkit
Language:Python5 2 120

marcusm117's Repositories

marcusm117/IdentityChain
[ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain
Language:Python6 3 00
marcusm117/mctk
Python Package Model Checking Toolkit
Language:Python5 2 120
marcusm117/FV-bmc-llvm
Educational Bounded Model Checker for LLVM IR
Language:Python1 1 00
marcusm117/CN-abr-proxy
Educational Adaptive Bitrate Streaming Proxy
Language:Python00
marcusm117/CN-Stanford-CS-144
Fall 2021
Language:C++0 0 00
marcusm117/DB-CMU-15-445
Fall 2022
Language:C++0 0 00
marcusm117/human-eval-enhanced
Bug-Fixed HumanEval Dataset
Language:Python0 0 00
marcusm117/marcusm117
00