Xi Ye

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

SketchRegex. Sketch Driven Regular Expression Generation.

EvalQAExpl. Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.

TextualExplInContext. The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning (NeurIPS 2022)

StructuredRegex. Data and Code for StructuredRegex.

torchASN. A pytorch implementation of Abstract Syntax Networks

InterpCalib. Can Explanations Be Useful for Calibrating Black Box Models? (ACL, 2022)

OpSynth. Optimal Neural Program Synthesis from Multimodal Specifications

ExplSelection. Explanation Selection Using Unlabeled Data for Chain-of-Thought Prompting

xv6-GUI. Equip xv6 with simple GUI.

ComplementaryExpl. Complementary Explanations for Effective In-Context Learning

CachedLMQuery. Toolkit for prompting and caching query results.

ArXivFocus. A Chrome extension to help quickly go through arxiv papers by allowing hiding papers containing specific keywords