Pinned

1. SAT-LM SAT-LM Public

   SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)

   Python 28 4

2. salesforce/rng-kbqa salesforce/rng-kbqa Public

   Python 106 15

3. OpSynth OpSynth Public

   Optimal Neural Program Synthesis from Multimodal Specifications

   Python 7 1

4. EvalQAExpl EvalQAExpl Public

   Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.

   Python 18 3

5. StructuredRegex StructuredRegex Public

   Data and Code for StructuredRegex.

   Python 13 4

6. SketchRegex SketchRegex Public

   Sketch Driven Regular Expression Generation.

   Python 15 3