Pinned Loading

1. eth-sri/type-constrained-code-generation eth-sri/type-constrained-code-generation Public

   Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

   Python 97 9

2. OpShin/opshin OpShin/opshin Public

   A simple pythonic programming language for Smart Contracts on Cardano

   Python 168 35

3. logic-star-ai/swt-bench logic-star-ai/swt-bench Public

   [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation

   Python 84 19

4. quantulum3 quantulum3 Public

   Library for unit extraction - fork of quantulum for python3

   Python 149 68

5. eth-sri/ChatProtect eth-sri/ChatProtect Public

   This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".

   Python 38 3

6. langlib langlib Public

   Library for formal language theory in Lean 4

   Lean 4