chen-judge / UniGeo
[EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
☆28Updated 2 years ago
Alternatives and similar repositories for UniGeo:
Users that are interested in UniGeo are comparing it to the libraries listed below
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆60Updated 3 years ago
- ☆17Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆145Updated 3 weeks ago
- ☆14Updated 11 months ago
- ☆50Updated 3 months ago
- The official repository for the paper "From Zero to Hero: Examining the Power of Symbolic Tasks in Instruction Tuning".☆64Updated 2 years ago
- [ACL 2024 Findings] CriticBench: Benchmarking LLMs for Critique-Correct Reasoning☆24Updated last year
- ☆47Updated last year
- Source code for the paper "Prefix Language Models are Unified Modal Learners"☆43Updated last year
- Visual and Embodied Concepts evaluation benchmark☆21Updated last year
- Implementation of the methods described in our paper "Explicit Planning Helps Language Models in Logical Reasoning"☆23Updated 2 years ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆80Updated 8 months ago
- [ICML'24] TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks☆26Updated 7 months ago
- ☆85Updated 2 years ago
- 🤖ConvRe🤯: An Investigation of LLMs’ Inefficacy in Understanding Converse Relations (EMNLP 2023)☆23Updated last year
- Improving Language Understanding from Screenshots. Paper: https://arxiv.org/abs/2402.14073☆28Updated 9 months ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆59Updated 9 months ago
- The code and data for the paper JiuZhang3.0☆43Updated 10 months ago
- ☆95Updated last year
- Official github repo of G-LLaVA☆135Updated 2 months ago
- Evaluating the Ripple Effects of Knowledge Editing in Language Models☆55Updated last year
- ☆53Updated last year
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆60Updated 4 months ago
- Released code for our ICLR23 paper.☆64Updated 2 years ago
- This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception o…☆22Updated 3 weeks ago
- Our code will be public soon .☆26Updated 2 years ago
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆29Updated 2 months ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated last year
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆25Updated last year
- [ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models (LLMs + MCTS + Self-Improvement)☆48Updated last year