Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Zhang, Zeren, Cheng, Jo-Ku, Deng, Jingyang, Tian, Lu, Ma, Jinwen, Qin, Ziran, Zhang, Xiaokai, Zhu, Na, Leng, Tuo |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
par: Cheng, Jo-Ku, et autres
Publié: (2025)
par: Cheng, Jo-Ku, et autres
Publié: (2025)
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
par: He, Yiming, et autres
Publié: (2024)
par: He, Yiming, et autres
Publié: (2024)
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
par: Zhang, Xiaokai, et autres
Publié: (2024)
par: Zhang, Xiaokai, et autres
Publié: (2024)
SOAEsV2-7B/72B: Full-Pipeline Optimization for State-Owned Enterprise LLMs via Continual Pre-Training, Domain-Progressive SFT and Distillation-Enhanced Speculative Decoding
par: Deng, Jingyang, et autres
Publié: (2025)
par: Deng, Jingyang, et autres
Publié: (2025)
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
par: Zou, Jia, et autres
Publié: (2024)
par: Zou, Jia, et autres
Publié: (2024)
FaultSeg Swin-UNETR: Transformer-Based Self-Supervised Pretraining Model for Fault Recognition
par: Zhang, Zeren, et autres
Publié: (2023)
par: Zhang, Zeren, et autres
Publié: (2023)
Seismic Fault SAM: Adapting SAM with Lightweight Modules and 2.5D Strategy for Fault Detection
par: Chen, Ran, et autres
Publié: (2024)
par: Chen, Ran, et autres
Publié: (2024)
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
par: Zhang, Xiaokai, et autres
Publié: (2023)
par: Zhang, Xiaokai, et autres
Publié: (2023)
Geoparsing: Diagram Parsing for Plane and Solid Geometry with a Unified Formal Language
par: Wang, Peijie, et autres
Publié: (2026)
par: Wang, Peijie, et autres
Publié: (2026)
GAPS: Geometry-Aware Problem Solver
par: Zhang, Jiaxin, et autres
Publié: (2024)
par: Zhang, Jiaxin, et autres
Publié: (2024)
cuPDLPx: A Further Enhanced GPU-Based First-Order Solver for Linear Programming
par: Lu, Haihao, et autres
Publié: (2025)
par: Lu, Haihao, et autres
Publié: (2025)
GOLD: Geometry Problem Solver with Natural Language Description
par: Zhang, Jiaxin, et autres
Publié: (2024)
par: Zhang, Jiaxin, et autres
Publié: (2024)
PDOT: a Practical Primal-Dual Algorithm and a GPU-Based Solver for Optimal Transport
par: Lu, Haihao, et autres
Publié: (2024)
par: Lu, Haihao, et autres
Publié: (2024)
The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)
par: Rosko, Milan
Publié: (2025)
LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
par: Li, Zhong-Zhi, et autres
Publié: (2023)
par: Li, Zhong-Zhi, et autres
Publié: (2023)
UAMFDet: Acoustic‐Optical Fusion for Underwater Multi‐Modal Object Detection
par: Haojie Chen, et autres
Publié: (2024)
par: Haojie Chen, et autres
Publié: (2024)
SwapTalk: Audio-Driven Talking Face Generation with One-Shot Customization in Latent Space
par: Zhang, Zeren, et autres
Publié: (2024)
par: Zhang, Zeren, et autres
Publié: (2024)
Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram
par: Zhang, Ming-Liang, et autres
Publié: (2024)
par: Zhang, Ming-Liang, et autres
Publié: (2024)
See it. Say it. Sorted: Agentic System for Compositional Diagram Generation
par: Zhang, Hantao, et autres
Publié: (2025)
par: Zhang, Hantao, et autres
Publié: (2025)
Autoregressive Image Generation Needs Only a Few Lines of Cached Tokens
par: Qin, Ziran, et autres
Publié: (2025)
par: Qin, Ziran, et autres
Publié: (2025)
Head-Aware KV Cache Compression for Efficient Visual Autoregressive Modeling
par: Qin, Ziran, et autres
Publié: (2025)
par: Qin, Ziran, et autres
Publié: (2025)
On the Geometry of Games and their Solvers
par: Sun, Yaqi, et autres
Publié: (2026)
par: Sun, Yaqi, et autres
Publié: (2026)
FlashFolio: A GPU-Accelerated Solver for Portfolio Optimization
par: Jiang, Yilun, et autres
Publié: (2026)
par: Jiang, Yilun, et autres
Publié: (2026)
GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
par: Zhang, Jiaxin, et autres
Publié: (2024)
par: Zhang, Jiaxin, et autres
Publié: (2024)
Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
par: Huang, Litian, et autres
Publié: (2024)
par: Huang, Litian, et autres
Publié: (2024)
An Enhanced Modelling Approach for Warehouse Sharing Platform System Designing Problem
par: Xing, Zeren, et autres
Publié: (2024)
par: Xing, Zeren, et autres
Publié: (2024)
A Survey on Safe Multi-Modal Learning System
par: Zhao, Tianyi, et autres
Publié: (2024)
par: Zhao, Tianyi, et autres
Publié: (2024)
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
par: Yang, Tianyun, et autres
Publié: (2025)
par: Yang, Tianyun, et autres
Publié: (2025)
Formalizing the Sampling Design Space of Diffusion-Based Generative Models via Adaptive Solvers and Wasserstein-Bounded Timesteps
par: Jo, Sangwoo, et autres
Publié: (2026)
par: Jo, Sangwoo, et autres
Publié: (2026)
Sample Complexity for Embedded Multipartite Entanglement Witness via Pauli and Clifford Classical Shadows
par: Zhang, Ziran
Publié: (2025)
par: Zhang, Ziran
Publié: (2025)
ViT-DD: Multi-Task Vision Transformer for Semi-Supervised Driver Distraction Detection
par: Ma, Yunsheng, et autres
Publié: (2022)
par: Ma, Yunsheng, et autres
Publié: (2022)
A Multi-Modal AI Copilot for Single-Cell Analysis with Instruction Following
par: Fang, Yin, et autres
Publié: (2025)
par: Fang, Yin, et autres
Publié: (2025)
Nested-TNT: Hierarchical Vision Transformers with Multi-Scale Feature Processing
par: Liu, Yuang, et autres
Publié: (2024)
par: Liu, Yuang, et autres
Publié: (2024)
Spatial-Frequency Enhanced Mamba for Multi-Modal Image Fusion
par: Sun, Hui, et autres
Publié: (2025)
par: Sun, Hui, et autres
Publié: (2025)
Consistency Model is an Effective Posterior Sample Approximation for Diffusion Inverse Solvers
par: Xu, Tongda, et autres
Publié: (2024)
par: Xu, Tongda, et autres
Publié: (2024)
Analytical Correction for Subsampling Bias in Drifting Models
par: Zhang, Jiaru, et autres
Publié: (2026)
par: Zhang, Jiaru, et autres
Publié: (2026)
Polymer nanocomposites: synthetic and natural fillers a review
par: Jinwen Zhang
Publié: (2005)
par: Jinwen Zhang
Publié: (2005)
Enhanced Approximation Algorithms for the Capacitated Location Routing Problem
par: Zhao, Jingyang, et autres
Publié: (2025)
par: Zhao, Jingyang, et autres
Publié: (2025)
MCPT-Solver: An Monte Carlo Algorithm Solver Using MTJ Devices for Particle Transport Problems
par: Fu, Siqing, et autres
Publié: (2026)
par: Fu, Siqing, et autres
Publié: (2026)
Adams Bashforth Moulton Solver for Inversion and Editing in Rectified Flow
par: Ma, Yongjia, et autres
Publié: (2025)
par: Ma, Yongjia, et autres
Publié: (2025)
Documents similaires
-
GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
par: Cheng, Jo-Ku, et autres
Publié: (2025) -
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
par: He, Yiming, et autres
Publié: (2024) -
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
par: Zhang, Xiaokai, et autres
Publié: (2024) -
SOAEsV2-7B/72B: Full-Pipeline Optimization for State-Owned Enterprise LLMs via Continual Pre-Training, Domain-Progressive SFT and Distillation-Enhanced Speculative Decoding
par: Deng, Jingyang, et autres
Publié: (2025) -
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
par: Zou, Jia, et autres
Publié: (2024)