mrigankpawagi/PropertyEval mrigankpawagi/PropertyEval

  • Stars
    star
    1
  • Language
    Python
  • Created about 1 year ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mrigankpawagi/PropertyEval
github

mrigankpawagi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing

More Repositories

1

NumericalMethods

Numerical Methods and Functions Library
Python
7
star
2

JBossStarsBot

A Simple Telegram Bot made with Python, that fetches stars from the Repo of JBoss. Made for GCI 2018!
Python
3
star
3

Exop

Quest for a Habitable Exoplanet
HTML
3
star
4

ecogo

TypeScript
3
star
5

Bloggly

A Drupal Installation Profile to fulfil all your blogging needs.
PHP
3
star
6

ecogobusiness

TypeScript
3
star
7

GuardRails

VSCode extension to help developers set up guardrails around their functions, by helping them disambiguate purpose statements.
Python
3
star
8

SocialLinks

This drupal module is meant to make it easier for you to add cool social media links to your organisation - right on your Drupal Website!
PHP
3
star
9

VDA

Vaccine Distribution Algorithm to help governments across the world in accessing the demand for vaccines
HTML
2
star
10

socialme

Socialise, Converse, Fraternize, Interact
HTML
2
star
11

BasicForm

A module to display a basic form page in Drupal 8.
CSS
2
star
12

Kronologue

AI Powered Scheduler to Boost Your Productivity
TypeScript
2
star
13

KronologueModel

The Optimization Model Behind Kronologue
Python
2
star
14

Crowdically

Crowdsourced Music is here!
HTML
2
star
15

PBT4Automata

Property Based Testing for Automata
Python
2
star
16

ecogodemo

Team 50
HTML
2
star
17

ExoGo

HTML
2
star
18

EfficientAttention

Discussion and Experiments on Efficient Attention
Jupyter Notebook
2
star
19

cyberlock

HTML
1
star
20

HinglishEval

Benchmarking LLM Code Generation from Hinglish Prompts
Python
1
star
21

MultinomialTriangles

HTML
1
star
22

RealIntelligence

Identifying and Helping Mitigate Bias in AI since 2021
HTML
1
star
23

JantaQuarantineBeta

Voluntary Quarantining Facility Portal to fight COVID-19
HTML
1
star
24

AjaxSample

A Drupal module to demonstrate the AJAX 'alert' command.
PHP
1
star
25

eNovators

eNovators Landing Page
JavaScript
1
star
26

EvSched

An evolutionary algorithm for optimizing linear schedules in daily life.
HTML
1
star