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 86 8

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 75 17

4. quantulum3 quantulum3 Public

   Library for unit extraction - fork of quantulum for python3

   Python 144 65

5. bplustrees bplustrees Public

   A Verified Imperative Implementation of B+-Trees in Isabelle

   Isabelle 2

6. 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 37 3