☆37Dec 20, 2024Updated last year
Alternatives and similar repositories for paradox-learning2reason
Users that are interested in paradox-learning2reason are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official code repository for Findings of EMNLP 2022 paper: PseudoReasoner: Leveraging Pseudo Labels for Commonsense Knowledge Base Popula…☆11Oct 18, 2022Updated 3 years ago
- This is the code repo for Findings of EMNLP2022 paper: MICO: a multi-alternative contrastive learning framework for commonsense knowledg…☆10Nov 29, 2022Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- The source code and the data for ACL 2022 paper "Show Me More Details: Discovering Hierarchies of Procedures from Semi-structured Web Dat…☆14Apr 21, 2023Updated 3 years ago
- Conditional Theorem Proving☆54Apr 30, 2021Updated 5 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.
- ☆142Dec 22, 2023Updated 2 years ago
- [ACL'25 (Findings)] Explorer: Scaling Exploration-driven Web Trajectory Synthesis for Multimodal Web Agents☆28Feb 17, 2026Updated 3 months ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- A non-JIT version implementation / replication of CLIP of OpenAI in pytorch☆34Jan 15, 2021Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆71Jul 1, 2024Updated last year
- Codes for the EMNLP2021 paper: Benchmarking Commonsense Knowledge Base Population (https://aclanthology.org/2021.emnlp-main.705.pdf). An …☆26Feb 14, 2024Updated 2 years ago
- Modular Gaussian Processes☆16Dec 9, 2021Updated 4 years ago
- Agentic Keyframe Search for Video Question Answering☆18Apr 7, 2025Updated last year
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Entity-Based Knowledge Conflicts in Question Answering. Code repo for EMNLP2021 paper: https://aclanthology.org/2021.emnlp-main.565/☆78Aug 29, 2022Updated 3 years ago
- Source code for "Towards Hierarchical Importance Attribution: Explaining Compositional Semantics for Neural Sequence Models", ICLR 2020.☆29Jun 28, 2020Updated 5 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- Temporal Common Sense Acquisition with Minimal Supervision, ACL'20☆21Jul 25, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆42Apr 3, 2026Updated last month
- ☆13Oct 19, 2023Updated 2 years ago
- Logic Circuits from the Juice library☆50Jun 15, 2024Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆164Sep 9, 2025Updated 8 months ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 8 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.
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- The dataset consists of public social media url pairs and the corresponding entailment label for an external conference (ACL 2021). Each …☆14Aug 16, 2021Updated 4 years ago
- ☆13Jun 21, 2017Updated 8 years ago
- Julia interface for the Blossom V perfect matching algorithm☆14Nov 27, 2020Updated 5 years ago
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- Codes for the WWW2021 paper: DISCOS: Bridging the Gap between Discourse Knowledge and Commonsense Knowledge (https://arxiv.org/abs/2101.0…☆43May 18, 2022Updated 4 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Code for [Re] On the Reproducibility of Post-Hoc Concept Bottleneck Models.☆13Nov 27, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A minimal example of Abductive Learning☆19Dec 6, 2023Updated 2 years ago
- Code for I-RAVEN-X generation and experiments☆24Sep 18, 2025Updated 8 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Official code base for "Long-Tailed Diffusion Models With Oriented Calibration" ICLR2024☆18Jul 11, 2024Updated last year
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆14Mar 21, 2023Updated 3 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 6 years ago
- ☆12Jul 10, 2023Updated 2 years ago