jinpz

CS PhD student at Cornell University

Pinned Repositories

data
Language:HTML60 21 112107
cibc_hack
The repo for RoboIntel for the CIBC Hackathon
Language:Python0 2 00
data
Language:Python00
dtv
The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Language:Python17 1 05
label_differential_privacy
Official code for Does Label Differential Privacy Prevent Label Inference Attacks? (AISTATS 2023)
Language:Python6 2 01
programming2019
Language:Python00
refactor
The official code release for REFACTOR: Learning to Extract Theorems from Proofs
Language:Objective-C++5 2 01
tools
Language:Python0 0 00

jinpz's Repositories

jinpz/dtv
The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Language:Python17 1 05
jinpz/label_differential_privacy
Official code for Does Label Differential Privacy Prevent Label Inference Attacks? (AISTATS 2023)
Language:Python6 2 01
jinpz/refactor
The official code release for REFACTOR: Learning to Extract Theorems from Proofs
Language:Objective-C++5 2 01
jinpz/data
Language:Python00
jinpz/programming2019
Language:Python00
jinpz/tools
Language:Python0 0 00