AI Testing Hackathon

Hosted by Esben Kran, Apart Research, Zaki, fbarez, haydn belfield · #alignmentjam

Entries

Ratings

Overview Submissions Results

Community

Screenshots Submission feed

A jam submission

Formal Verification for Paren-balance checkingView project page

Submitted by podar_hd@cy.iitr.ac.in — 1 minute, 16 seconds before the deadline

Add to collection

Play project

Formal Verification for Paren-balance checking's itch.io page

Results

Criteria	Rank	Score*	Raw Score
Safety	#6	3.266	4.000
Reproducibility	#8	1.633	2.000
Generality	#9	0.816	1.000
Benchmark	#9	1.633	2.000
Novelty	#9	0.816	1.000

Ranked from 3 ratings. Score is adjusted from raw score by the median number of ratings per game in the jam.

Where did you participate?
CDMX

What are the full names of the participants?
Pablo Villalobos, Edu Infante Roldán, Nguyen Tran, Heramb Podar, Alejandro Acelas

What is your team name?
Perfectly Balanced

Comments

ButaniumSubmitted2 years ago

I tried to run your collab but I get this error trying to use auto_LiRPA :

  File "/usr/local/lib/python3.8/dist-packages/auto_LiRPA/operators/base.py", line 8, in <module>     from ..perturbations import *

  File "/usr/local/lib/python3.8/dist-packages/auto_LiRPA/perturbations.py", line 78     if type(A) != np.ndarray:     ^ IndentationError: expected an indented block

Submitted

Trojan detection and implementation on transformers

Like Reply

itch.io

AI Testing Hackathon

Formal Verification for Paren-balance checkingView project page

Play project

Results

Leave a comment

Comments