moqingyan / dsr-lmLinks
☆12Updated 2 years ago
Alternatives and similar repositories for dsr-lm
Users that are interested in dsr-lm are comparing it to the libraries listed below
Sorting:
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- TACL 2025: Investigating Adversarial Trigger Transfer in Large Language Models☆19Updated 4 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Updated 2 years ago
- ☆43Updated 2 years ago
- ☆32Updated 2 weeks ago
- ModelDiff: A Framework for Comparing Learning Algorithms☆58Updated 2 years ago
- ☆50Updated last year
- ☆31Updated 2 years ago
- ☆18Updated last year
- Efficient empirical NTKs in PyTorch☆22Updated 3 years ago
- ☆30Updated 2 years ago
- Distilling Model Failures as Directions in Latent Space☆47Updated 2 years ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆33Updated 2 years ago
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆13Updated 4 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆18Updated 5 years ago
- Code for Environment Inference for Invariant Learning (ICML 2021 Paper)☆51Updated 4 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆132Updated 2 years ago
- ☆119Updated last year
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated last year
- Official PyTorch Implementation for Continual Learning and Private Unlearning☆18Updated 3 years ago
- Code repository for the paper "Invariant and Transportable Representations for Anti-Causal Domain Shifts"☆16Updated 3 years ago
- ☆36Updated last year
- Repository for Knowledge Enhanced Machine Learning Pipeline (KEMLP)☆10Updated 4 years ago
- Fine-tuning large language models with huggingface transformers and deepspeed☆31Updated 2 years ago
- Interview questions for Computer Science faculty jobs☆41Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆24Updated last year
- ☆37Updated last year
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Updated 2 years ago
- ☆12Updated last year