joshuacnf / paradox-learning2reasonView external linksLinks
☆36Dec 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
Sorting:
- 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
- Official code repository for Findings of EMNLP 2022 paper: PseudoReasoner: Leveraging Pseudo Labels for Commonsense Knowledge Base Popula…☆11Oct 18, 2022Updated 3 years ago
- ☆24Jun 12, 2023Updated 2 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- [ACL'25 (Findings)] Explorer: Scaling Exploration-driven Web Trajectory Synthesis for Multimodal Web Agents☆26Oct 15, 2025Updated 4 months ago
- Deploying synthetic coevolution and machine learning to engineer protein-protein interactions☆16Jul 30, 2023Updated 2 years ago
- Code for paper "IntPhys: A Benchmark and Dataset for Intuitive Physics".☆29Nov 18, 2019Updated 6 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- Code for "SCHA-VAE: Hierarchical Context Aggregation for Few-Shot Generation" @ ICML 2022☆17Jan 10, 2023Updated 3 years ago
- Official repository for "Plug & Play Directed Evolution for Proteins with Gradient-Based Discrete MCMC"☆12Jul 18, 2023Updated 2 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- ☆21Nov 5, 2024Updated last year
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- A 3D-equivariant neural network for protein structure accuracy estimation☆20Feb 24, 2023Updated 2 years ago
- Generative Modeling with Bayesian Sample Inference☆24May 17, 2025Updated 8 months ago
- Code for "Aligning Optimization Trajectories with Diffusion Models for Constrained Design Generation" @ NeurIPS 2023☆24Oct 12, 2023Updated 2 years ago
- [ICLR 2022] Path integral sampler☆52Aug 21, 2023Updated 2 years ago
- Code from the article: "The Role of Disentanglement in Generalisation" (ICLR, 2021).☆21May 28, 2022Updated 3 years ago
- ☆46Jun 24, 2025Updated 7 months ago
- Code release for "CURIE: Evaluating LLMs On Multitask Scientific Long Context Understanding and Reasoning", ICLR 2025☆29Apr 21, 2025Updated 9 months ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 2 months ago
- Conditional Theorem Proving☆54Apr 30, 2021Updated 4 years ago
- 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
- The first spoken long-text dataset derived from live streams, designed to reflect the redundancy-rich and conversational nature of real-w…☆13Jun 28, 2025Updated 7 months ago
- Source Code for AAAI 2022 paper "Graph Convolutional Networks with Dual Message Passing for Subgraph Isomorphism Counting and Matching"☆23Nov 13, 2022Updated 3 years ago
- Official Code for EMNLP2023 Main Conference paper: "KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detec…☆30Nov 14, 2023Updated 2 years ago
- PLM-interact: extending protein language models to predict protein-protein interactions.☆60Aug 29, 2025Updated 5 months ago
- Source code for "Towards Hierarchical Importance Attribution: Explaining Compositional Semantics for Neural Sequence Models", ICLR 2020.☆30Jun 28, 2020Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆134Sep 8, 2022Updated 3 years ago
- ☆36Feb 21, 2025Updated 11 months ago
- ☆18Jun 10, 2025Updated 8 months ago
- [NeurIPS ENLSP Workshop'24] CSKV: Training-Efficient Channel Shrinking for KV Cache in Long-Context Scenarios☆16Oct 18, 2024Updated last year
- Official code repository for the main conference paper in EMNLP 2022: SubeventWriter: Iterative Sub-event Sequence Generation with Cohere…☆11Oct 16, 2022Updated 3 years ago
- [ICML 2025] Official resources of "KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree Search".☆34Dec 6, 2025Updated 2 months ago
- Bibtex for various Python science and machine learning software☆33Nov 14, 2022Updated 3 years ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago