Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
☆34May 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"☆16Oct 5, 2025Updated last year
- Official Pytorch implementation of the paper Learning Input-agnostic Manipulation Directions in StyleGAN with Text Guidance (accepted to …☆28May 13, 2023Updated 3 years ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆31Oct 3, 2025Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆208Jan 29, 2026Updated 9 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆87Jan 2, 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.
- Official Pytorch implementation of "Unbiased Classification Through Bias-Contrastive and Bias-Balanced Learning (NeurIPS 2021)☆37Oct 26, 2021Updated 5 years ago
- AI Agent On-chain Living, Breathing Virtual World — where AI agents earn, trade, own property, and form social structures entirely on-cha…☆56Mar 10, 2026Updated 7 months ago
- Implementation and subsequent optimization for "Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models"☆29Jun 16, 2025Updated last year
- Official PyTorch implementation of SGEM: Test-Time Adaptation for Automatic Speech Recognition via Sequential-Level Generalized Entropy M…☆39Aug 27, 2024Updated 2 years ago
- Implementations for "Trimming the ℓ₁ Regularizer: Statistical Analysis, Optimization, and Applications to Deep Learning" Published on ICM…☆35Dec 7, 2020Updated 5 years ago
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- [CoNLL'21] MirrorWiC: On Eliciting Word-in-Context Representationsfrom Pretrained Language Models☆12Oct 31, 2021Updated 5 years ago
- SelecMix: Debiased Learning by Contradicting-pair Sampling (NeurIPS 2022)☆13Jun 5, 2024Updated 2 years ago
- ☆16Sep 21, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Dec 28, 2023Updated 2 years ago
- Ernie-AI-Windows is an innovative artificial intelligence software tailored specifically for Windows operating systems, delivering cuttin…☆56Apr 5, 2024Updated 2 years ago
- Official repository for "DYPLOC: Dynamic Planning of Content Using Mixed Language Models for Opinion Text Generation"☆10May 20, 2022Updated 4 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- ☆44Nov 13, 2024Updated last year
- Generating global explanations from local ones☆11Nov 11, 2022Updated 3 years ago
- ☆10May 2, 2023Updated 3 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆12Jun 30, 2026Updated 4 months ago
- Open CC0 compatibility database: Windows games on Apple Silicon via Wine + DXMT / D3DMetal / DXVK, with provenance.☆25Updated this week
- 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.
- [ICML 2023] QAS-Bench: Rethinking Quantum Architecture Search and A Benchmark☆12Mar 15, 2024Updated 2 years ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆47Jun 11, 2025Updated last year
- Post-processing for fair classification☆16Jun 30, 2025Updated last year
- ☆17Oct 16, 2026Updated 2 weeks ago
- A multi-agent system built with DSPy that coordinates research and writing agents to produce comprehensive articles on any topic.☆13Aug 3, 2025Updated last year
- 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
- RAG-Fusion implementation using Langchain, Weaviate and OpenAI☆13Oct 31, 2023Updated 3 years ago
- repository for questions that are asked (or you want answered!) during storytelling sessions☆13Sep 7, 2025Updated last year
- 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.
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 5 years ago
- [ACL'24 Findings] Official code for "TLCR: Token-Level Continuous Reward for Fine-grained Reinforcement Learning from Human Feedback"☆12Dec 6, 2024Updated last year
- A Model Context Protocol server for Python code analysis with Claude. Again, works with warning now. I'm missing something here.☆11Nov 29, 2025Updated 11 months ago
- ☆23Aug 1, 2024Updated 2 years ago
- Automatic generation of architecture-level models for hardware from its RTL design.☆17Apr 12, 2023Updated 3 years ago