Image de couverture de livre

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
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:	Computer Vision and Pattern Recognition
Accès en ligne:	Acceder al recurso
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)

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)

FaultSeg Swin-UNETR: Transformer-Based Self-Supervised Pretraining Model for Fault Recognition
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)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
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)

GAPS: Geometry-Aware Problem Solver
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)

GOLD: Geometry Problem Solver with Natural Language Description
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)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
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)

SwapTalk: Audio-Driven Talking Face Generation with One-Shot Customization in Latent Space
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)

See it. Say it. Sorted: Agentic System for Compositional Diagram Generation
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)

Head-Aware KV Cache Compression for Efficient Visual Autoregressive Modeling
par: Qin, Ziran, et autres
Publié: (2025)

On the Geometry of Games and their Solvers
par: Sun, Yaqi, et autres
Publié: (2026)

FlashFolio: A GPU-Accelerated Solver for Portfolio Optimization
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)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
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)

A Survey on Safe Multi-Modal Learning System
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)

Formalizing the Sampling Design Space of Diffusion-Based Generative Models via Adaptive Solvers and Wasserstein-Bounded Timesteps
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)

ViT-DD: Multi-Task Vision Transformer for Semi-Supervised Driver Distraction Detection
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)

Nested-TNT: Hierarchical Vision Transformers with Multi-Scale Feature Processing
par: Liu, Yuang, et autres
Publié: (2024)

Spatial-Frequency Enhanced Mamba for Multi-Modal Image Fusion
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)

Analytical Correction for Subsampling Bias in Drifting Models
par: Zhang, Jiaru, et autres
Publié: (2026)

Polymer nanocomposites: synthetic and natural fillers a review
par: Jinwen Zhang
Publié: (2005)

Enhanced Approximation Algorithms for the Capacitated Location Routing Problem
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)

Adams Bashforth Moulton Solver for Inversion and Editing in Rectified Flow
par: Ma, Yongjia, et autres
Publié: (2025)