[EMNLP2025 Oral] Code, Result and Files for paper[Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?]
☆12May 22, 2025Updated last year
Alternatives and similar repositories for FormalEval
Users that are interested in FormalEval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23May 3, 2025Updated last year
- ☆10Feb 24, 2024Updated 2 years ago
- Official Repo for "Why Settle for One? Text-to-ImageSet Generation and Evaluation"☆22Oct 1, 2025Updated last year
- Extremely Long-Horizon Agentic Tasks Requiring Active Acting and Inductive Reasoning☆34Feb 9, 2026Updated 9 months ago
- ☆18Jul 31, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆24Jun 13, 2023Updated 3 years ago
- [ACL 2024] The project of Symbol-LLM☆59Jul 10, 2024Updated 2 years ago
- An Arena-style Automated Evaluation Benchmark for Detailed Captioning☆58Jun 1, 2025Updated last year
- Repo for Anonymous purpose, pls don't distribute☆10Oct 2, 2024Updated 2 years ago
- The model, data and code for OpenMobile☆53Jul 9, 2026Updated 4 months ago
- [ACL 2026] Code, benchmark and environment for "OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic…☆51Jul 5, 2026Updated 4 months ago
- ☆19Nov 3, 2025Updated last year
- ☆38Sep 21, 2026Updated last month
- [ICLR 2026] Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"☆141Oct 13, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code for Research Project TLDR☆26Jul 28, 2025Updated last year
- [ACL 2025] A Generalizable and Purely Unsupervised Self-Training Framework☆72Jun 1, 2025Updated last year
- ☆16May 27, 2026Updated 5 months ago
- [ACL 2025] An inference-time decoding strategy with adaptive foresight sampling☆108May 18, 2025Updated last year
- Official Implementation for *PaCo-RL: Advancing Reinforcement Learning for Consistent Image Generation with Pairwise Reward Modeling*☆43Dec 13, 2025Updated 11 months ago
- PrismaCoder: Pushing the Boundaries of Open Multimodal Code Intelligence☆44Oct 22, 2026Updated 3 weeks ago
- ☆38Jan 23, 2024Updated 2 years ago
- [ICLR'2026] R-HORIZON: How Far Can Your Large Reasoning Model Really Go in Breadth and Depth?☆18Oct 21, 2025Updated last year
- [ICLR 2026] JanusCoder: Towards a Foundational Visual-Programmatic Interface for Code Intelligence☆81May 9, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [ACL 2025] A Neural-Symbolic Self-Training Framework☆117Jun 1, 2025Updated last year
- CAT-probing: A Metric-based Approach to Interpret How Pre-trained Models for Programming Language Attend Code Structure, EMNLP 2022☆13Dec 10, 2022Updated 3 years ago
- （Accepted By EMNLP2022 main long）Knowledge Prompting in Pre-trained Language Model for Natural Language Understanding☆15Oct 29, 2022Updated 4 years ago
- ☆20Apr 24, 2024Updated 2 years ago
- ☆76Dec 6, 2024Updated last year
- [ACL 2025] Code and data for OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis☆193Oct 8, 2025Updated last year
- ☆50May 14, 2026Updated 6 months ago
- content-neutral dataset of logical reasoning☆20Mar 21, 2025Updated last year
- ☆28Apr 16, 2024Updated 2 years ago
- 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.
- [ICML 2024] Self-Infilling Code Generation☆18May 5, 2024Updated 2 years ago
- （Accepted By EMNLP2022 main long）SpanProto: A Two-stage Span-based Prototypical Network for Few-shot Named Entity Recognition☆14Oct 30, 2022Updated 4 years ago
- [EMNLP'24] LongHeads: Multi-Head Attention is Secretly a Long Context Processor☆32Apr 8, 2024Updated 2 years ago
- ☆20May 24, 2024Updated 2 years ago
- [CVPR 2025] ChatGen: Automatic Text-to-Image Generation From FreeStyle Chatting☆33Dec 5, 2024Updated last year
- ☆11Sep 25, 2026Updated last month
- Automatic Diagnosis of Congenital Heart Diseases from 9-Lead Pediatric Electrocardiogram by using Deep Neural Networks☆18Feb 25, 2025Updated last year
Are these results useful?