xiye17/SAT-LM xiye17/SAT-LM

  • Stars
    star
    40
  • Rank 680,660 (Top 14 %)
  • Language
    Python
  • License
    MIT License
  • Created over 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xiye17/SAT-LM
github

xiye17

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

EvalQAExpl

Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.
Python
18
star
2

SketchRegex

Sketch Driven Regular Expression Generation.
Python
16
star
3

StructuredRegex

Data and Code for StructuredRegex.
Python
13
star
4

torchASN

A pytorch implementation of Abstract Syntax Networks
Python
13
star
5

TextualExplInContext

The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning (NeurIPS 2022)
Python
13
star
6

InterpCalib

Can Explanations Be Useful for Calibrating Black Box Models? (ACL, 2022)
Python
8
star
7

OpSynth

Optimal Neural Program Synthesis from Multimodal Specifications
Python
7
star
8

xv6-GUI

Equip xv6 with simple GUI.
C
6
star
9

ExplSelection

Explanation Selection Using Unlabeled Data for Chain-of-Thought Prompting
Python
5
star
10

CachedLMQuery

Toolkit for prompting and caching query results.
Python
4
star
11

ComplementaryExpl

Complementary Explanations for Effective In-Context Learning
Python
2
star