Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
☆33May 12, 2025Updated last year
Alternatives and similar repositories for clover
Users that are interested in clover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coda and Data for NeurIPS 2025 paper "MuSLR: Multimodal Symbolic Logical Reasoning"☆17Oct 5, 2025Updated 10 months ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆28Oct 3, 2025Updated 10 months ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- This repository is the official PyTorch implementation of "Distilling Linguistic Context for Language Model Compression" by GeondoPark, G…☆35Dec 3, 2021Updated 4 years ago
- Official PyTorch implementation of SGEM: Test-Time Adaptation for Automatic Speech Recognition via Sequential-Level Generalized Entropy M…☆38Aug 27, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Implementations for "Trimming the ℓ₁ Regularizer: Statistical Analysis, Optimization, and Applications to Deep Learning" Published on ICM…☆34Dec 7, 2020Updated 5 years ago
- Official Implementation of Avoiding spurious correlations via logit correction☆17May 6, 2023Updated 3 years ago
- This repo contains script to download MUSIC dataset from youtube☆12Jan 19, 2024Updated 2 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆10Jul 24, 2021Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Generating global explanations from local ones☆11Nov 11, 2022Updated 3 years ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆207Jan 29, 2026Updated 7 months ago
- The PE for the second generation CGRA (garnet).☆18Feb 22, 2026Updated 6 months ago
- Stuff related to the BMClab public datasets☆10Feb 27, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Reasoning-based Evaluation and Ranking of Translations.☆22Jun 2, 2026Updated 3 months ago
- ☆43Nov 13, 2024Updated last year
- ☆23Aug 1, 2024Updated 2 years ago
- CUDA, CuDNN, NVIDIA Driver, and PyTorch Installation for Ubuntu☆12Feb 27, 2025Updated last year
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- [ICML 2023] QAS-Bench: Rethinking Quantum Architecture Search and A Benchmark☆12Mar 15, 2024Updated 2 years ago
- Implementation of "A Large-Scale Study of Probabilistic Calibration in Neural Network Regression" (ICML 2023)☆11Oct 7, 2025Updated 10 months ago
- Official repository of Generating Multiple-Length Summaries via Reinforcement Learning for Unsupervised Sentence Summarization [EMNLP'22 …☆10May 20, 2023Updated 3 years ago
- ProofNet dataset ported into Lean 4☆31Jun 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 基于ssm的宠物医院项目☆15Dec 16, 2022Updated 3 years ago
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆17Aug 7, 2026Updated 3 weeks ago
- Source code for paper "PRiSM: Enhancing Low-Resource Document-Level Relation Extraction with Relation-Aware Score Calibration", Findings …☆11Jun 20, 2025Updated last year
- Official code implementation of "GEX: A flexible method for approximating influence via Geometric Ensemble" (NeurIPS 2023)☆14Jan 3, 2024Updated 2 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- RAG-Fusion implementation using Langchain, Weaviate and OpenAI☆13Oct 31, 2023Updated 2 years ago
- ☆12Dec 29, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Nov 8, 2023Updated 2 years ago
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 3 years ago
- Peak : Processor Specification Language ala Newell and Bell's ISP☆21Dec 5, 2023Updated 2 years ago
- Official Implementation of LANTERN (ICLR'25) and LANTERN++(ICLRW-SCOPE'25)☆22Mar 5, 2025Updated last year
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- Code and data for AAAI 2022 paper "Multilingual Code Snippets Training for Program Translation"☆11Mar 7, 2022Updated 4 years ago
- Public code release for the paper "Reawakening knowledge: Anticipatory recovery from catastrophic interference via structured training"☆11Oct 27, 2025Updated 10 months ago