https://github.com/BitSecret/FGPS
공식 코드FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
Papers with Code 아카이브
Geometry Problem Solving
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 0
- 평가표
- 0
- 보존된 평가 기록
- 0
Geometry problem solving with geometry diagrams and (formal) problem descriptions.
코드
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
https://github.com/alpha-innovator/geox
공식 코드GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
https://github.com/chen-judge/unigeo
공식 코드UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
https://github.com/geoeval/geoeval
공식 코드GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
https://github.com/lupantech/InterGPS
공식 코드Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
https://github.com/mathllm/mathcoder
공식 코드MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning
https://github.com/mingliangzhang2018/PGDP
공식 코드https://github.com/mingliangzhang2018/pgps
공식 코드A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
https://github.com/tongxiao2002/dualgeosolver
공식 코드Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
https://github.com/unimodal4reasoning/geox
공식 코드GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
https://github.com/ycpnotfound/geogen
공식 코드Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration
https://github.com/zezeze97/DFE-GPS
공식 코드Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
https://github.com/formalgeo/formalgeo
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
https://github.com/loganrjmurphy/leaneuclid
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.