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