zhaoxlpku / SubgoalXL
☆10Updated 3 weeks ago
Related projects: ⓘ
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆17Updated last year
- [ICML 2024] Self-Infilling Code Generation☆16Updated 4 months ago
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆13Updated 6 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆11Updated 2 months ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆38Updated 2 months ago
- ☆25Updated 9 months ago
- ☆14Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- [ACL 2023 Findings] What In-Context Learning “Learns” In-Context: Disentangling Task Recognition and Task Learning☆21Updated last year
- [EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models☆16Updated 10 months ago
- [EMNLP-2022 Findings] Code for paper “ProGen: Progressive Zero-shot Dataset Generation via In-context Feedback”.☆22Updated last year
- The code of “Improving Weak-to-Strong Generalization with Scalable Oversight and Ensemble Learning”☆15Updated 6 months ago
- ☆16Updated 3 months ago
- Domain-specific preference (DSP) data and customized RM fine-tuning.☆24Updated 6 months ago
- Official implementation of Bootstrapping Language Models via DPO Implicit Rewards☆33Updated last month
- This repository contains data, code and models for contextual noncompliance.☆17Updated 2 months ago
- ☆13Updated 11 months ago
- ☆25Updated 7 months ago
- ☆20Updated 2 months ago
- Code for paper - On Diversified Preferences of Large Language Model Alignment☆14Updated last month
- Self-Supervised Alignment with Mutual Information☆12Updated 3 months ago
- Exploring the Limitations of Large Language Models on Multi-Hop Queries☆11Updated 2 months ago
- ☆21Updated this week
- ☆23Updated last year
- Code for Residual Energy-Based Models for Text Generation in PyTorch.☆22Updated 3 years ago
- A Kernel-Based View of Language Model Fine-Tuning https://arxiv.org/abs/2210.05643☆68Updated last year
- ☆80Updated 9 months ago
- A codebase for ACL 2023 paper: Mitigating Label Biases for In-context Learning☆9Updated last year
- The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning (NeurIPS 2022)☆13Updated last year
- ☆12Updated last month