☆49Apr 29, 2025Updated last year
Alternatives and similar repositories for NL2FOL
Users that are interested in NL2FOL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain☆11Nov 24, 2025Updated 9 months ago
- ☆13May 1, 2023Updated 3 years ago
- ACL24☆11Jun 7, 2024Updated 2 years ago
- ☆10Nov 6, 2024Updated last year
- Framework to transform natural language into formal language (Temporal Logics).☆43Apr 2, 2024Updated 2 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.
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- Project on belief embedding☆24Jun 4, 2025Updated last year
- [TMLR 2025] A collection of research papers on constraint inference within the field of RL☆11May 9, 2025Updated last year
- [AAAI 2025] Neural-Symbolic Collaborative Distillation: Advancing Small Language Models for Complex Reasoning Tasks☆13Jun 19, 2025Updated last year
- A library for visualizing and animating PDDL domains.☆16Sep 22, 2024Updated 2 years ago
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 3 years ago
- For Blend API OpenAPI Specifications and Related Postman Collections☆11Mar 1, 2024Updated 2 years ago
- ☆18Aug 1, 2024Updated 2 years ago
- CoSearch: Joint Training of Reasoning and Document Ranking via Reinforcement Learning for Agentic Search☆16Apr 28, 2026Updated 4 months 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.
- ☆13Oct 11, 2024Updated last year
- Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"☆11Nov 10, 2023Updated 2 years ago
- Code for the paper "Deep Partition Aggregation: Provable Defenses against General Poisoning Attacks"☆14Aug 22, 2022Updated 4 years ago
- ☆12Jul 30, 2025Updated last year
- Code for the paper "Spectrum Guided Topology Augmentation for Graph Contrastive Learning"☆11Jul 18, 2023Updated 3 years ago
- ☆12Dec 9, 2020Updated 5 years ago
- Plugin for basic RAG functionality with the LLM tool☆17Oct 22, 2025Updated 11 months ago
- How Robust are Randomized Smoothing based Defenses to Data Poisoning? (CVPR 2021)☆14Jul 16, 2021Updated 5 years ago
- Open-source code for ''Individual Fairness for Graph Neural Networks: A Ranking based Approach''.☆11Jul 8, 2022Updated 4 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.
- [EMNLP 2024 Main] Virtual Personas for Language Models via an Anthology of Backstories☆37Feb 10, 2026Updated 7 months ago
- Building a Recommendation System for customer using Yelp dataset of restaurants.☆33Dec 8, 2022Updated 3 years ago
- A lightweight easy to use package to parse text from PDF files on client side without any server dependency.☆13Jun 16, 2024Updated 2 years ago
- ☆12Aug 9, 2020Updated 6 years ago
- Codes for Evolving Plastic ANNs☆15Dec 18, 2022Updated 3 years ago
- Chip8 Emulator☆22Apr 27, 2026Updated 4 months ago
- ☆86May 10, 2024Updated 2 years ago
- ☆13Mar 8, 2023Updated 3 years ago
- ShellSpeak translates natural language to shell commands, simplifying system interactions for non-tech-savvy users. With color-coded UI, …☆12Nov 26, 2023Updated 2 years ago
- 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.
- Collection of GPT & LLM prompts☆38Jul 26, 2023Updated 3 years ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆90Aug 10, 2024Updated 2 years ago
- MoonLight: a light-weight framework for runtime monitoring.☆21Jan 25, 2026Updated 7 months ago
- Adversarial detection and defense for deep learning systems using robust feature alignment☆17Nov 10, 2020Updated 5 years ago
- ☆15May 2, 2026Updated 4 months ago
- Official code for SPE☆19Sep 15, 2024Updated 2 years ago
- ☆20Nov 20, 2020Updated 5 years ago