Data and Code for StructuredRegex.
☆15Nov 16, 2023Updated 2 years ago
Alternatives and similar repositories for StructuredRegex
Users that are interested in StructuredRegex are comparing it to the libraries listed below
Sorting:
- Sketch Driven Regular Expression Generation.☆17Apr 26, 2023Updated 2 years ago
- ☆25Apr 18, 2025Updated 11 months ago
- Code for "Understanding Neural Abstractive Summarization Models via Uncertainty" (EMNLP20)☆30Oct 16, 2020Updated 5 years ago
- Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.☆18Apr 25, 2021Updated 4 years ago
- REGEL: Regular Expression Generation from Examples and Language☆34Jul 11, 2022Updated 3 years ago
- Tasks for describing differences between text distributions.☆17Aug 9, 2024Updated last year
- EMNLP 2021 Adapting Language Models for Zero-shot Learning by Meta-tuning on Dataset and Prompt Collections☆52Sep 15, 2021Updated 4 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Oct 25, 2014Updated 11 years ago
- ☆13Jun 14, 2016Updated 9 years ago
- code associated with WANLI dataset in Liu et al., 2022☆30May 24, 2023Updated 2 years ago
- Search for answers on StackOverflow from Alfred☆13Feb 3, 2024Updated 2 years ago
- Resources for our AAAI 2022 paper: "Unsupervised Editing for Counterfactual Stories".☆11Oct 25, 2022Updated 3 years ago
- Code for the paper "A Divide-and-Conquer Approach to the Summarization of Long Documents"☆18Jun 8, 2021Updated 4 years ago
- ☆21Sep 10, 2021Updated 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- A simplified version of the Portal Project database designed for teaching☆16Apr 6, 2022Updated 3 years ago
- ☆21Mar 1, 2026Updated 2 weeks ago
- ☆14Jun 20, 2023Updated 2 years ago
- A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.☆62Feb 22, 2026Updated 3 weeks ago
- ☆14Apr 18, 2020Updated 5 years ago
- ☆14Oct 11, 2022Updated 3 years ago
- ☆22Nov 11, 2024Updated last year
- Code for Dissecting Generation Modes for Abstractive Summarization Models via Ablation and Attribution (ACL2021)☆13Jun 2, 2021Updated 4 years ago
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 4 months ago
- ☆17Oct 4, 2020Updated 5 years ago
- ☆25May 10, 2025Updated 10 months ago
- Our day-to-day experiment files and data analysis scripts.☆31Sep 17, 2025Updated 6 months ago
- <개발자를 위한 필수 수학>(한빛미디어, 2024)의 코드 저장소☆18Jan 9, 2025Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- A code for "Unsupervised Neural Single-Document Summarization of Reviews via Learning Latent Discourse Structure and its Ranking" in ACL2…☆28Jul 27, 2019Updated 6 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Code and dataset for the EMNLP 2021 Finding paper "Can NLI Models Verify QA Systems’ Predictions?"☆25Jul 21, 2023Updated 2 years ago
- A repository about the docs~☆16Apr 10, 2019Updated 6 years ago
- Evaluating Machines by their Real-World Language Use☆33May 22, 2023Updated 2 years ago
- CHI 2021 Paper Website☆10Jan 13, 2021Updated 5 years ago
- Code for "Variational Sequential Labelers for Semi-Supervised Learning" (EMNLP 2018)☆34Oct 4, 2018Updated 7 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- This is the code for reproducing the TABBIE baseline in our paper: "Retrieval-Based Transformer for Table Augmentation"☆12Sep 17, 2025Updated 6 months ago
- Dependency Grammar Induction☆18Feb 11, 2019Updated 7 years ago