Giters
marcusm117

marcusm117

Geek Repo

1

followers

0

following

9

stars

Github PK Tool:Github PK Tool

marcusm117's repositories

IdentityChain

[ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

Language:PythonLicense:Apache-2.0Stargazers:7Issues:3Issues:0

mctk

Python Package Model Checking Toolkit

Language:PythonLicense:Apache-2.0Stargazers:5Issues:2Issues:12

FV-bmc-llvm

Educational Bounded Model Checker for LLVM IR

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:1Issues:0

CN-abr-proxy

Educational Adaptive Bitrate Streaming Proxy

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

CN-Stanford-CS-144

Fall 2021

Language:C++Stargazers:0Issues:0Issues:0

DB-CMU-15-445

Fall 2022

Language:C++License:MITStargazers:0Issues:0Issues:0

human-eval-enhanced

Bug-Fixed HumanEval Dataset

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

marcusm117

Stargazers:0Issues:0Issues:0