Cover Image

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Xiaokai, Zhu, Na, He, Yiming, Zou, Jia, Huang, Qike, Jin, Xiaoxiao, Guo, Yanjun, Mao, Chenyang, Li, Yang, Zhu, Zhe, Yue, Dengfeng, Zhu, Fangzhen, Wang, Yifan, Huang, Yiwen, Wang, Runan, Qin, Cheng, Zeng, Zhenbing, Xie, Shaorong, Luo, Xiangfeng, Leng, Tuo
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
by: Zhang, Xiaokai, et al.
Published: (2024)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
by: Zou, Jia, et al.
Published: (2024)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
by: He, Yiming, et al.
Published: (2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
by: Zhang, Zeren, et al.
Published: (2024)

Covariant Spinor Formalism for Multipole Expanded Form Factor
by: Huang, Hong, et al.
Published: (2026)

Antifungal Activity of Novel Isoindoline‐2‐Yl Putrescines as Potential Autophagy‐Activated Fungicide
by: Lisong Zhu, et al.
Published: (2024)

FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
by: Li, Zelong, et al.
Published: (2024)

Constant-Memory Strategies in Stochastic Games: Best Responses and Equilibria
by: Zhu, Fengming, et al.
Published: (2025)

Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming
by: Zhu, Fengming, et al.
Published: (2023)

Single-Agent Planning in a Multi-Agent System: A Unified Framework for Type-Based Planners
by: Zhu, Fengming, et al.
Published: (2025)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
by: Li, Chenyi, et al.
Published: (2026)

SRAD: Autonomous Decision‐Making Method for UAV Based on Safety Reinforcement Learning
by: Wenwen Xiao, et al.
Published: (2025)

Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)

Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
by: Magen, Roy
Published: (2025)

EvoGuard: An Extensible Agentic RL-based Framework for Practical and Evolving AI-Generated Image Detection
by: Zhu, Chenyang, et al.
Published: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
by: Zhou, Yichi, et al.
Published: (2025)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
by: Xia, Renqiu, et al.
Published: (2024)

A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind
by: Zhu, Fengming, et al.
Published: (2025)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

Scattering of Quantum Particles in de Sitter Spacetime I: The Formalism
by: Taylor, Tomasz R., et al.
Published: (2024)

Do Large Language Models Truly Understand Geometric Structures?
by: Wang, Xiaofeng, et al.
Published: (2025)

Breaking through Single‐Channel Limitations: Four‐Channel Structured Light Parallel Projection Technology Based on Polarization Multiplexing
by: Xiaokai Xu, et al.
Published: (2026)

Formally Solving Answer-Construction Problems in Lean
by: Sun, Jialiang, et al.
Published: (2025)

OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems
by: He, Chaoqun, et al.
Published: (2024)

OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics
by: Zhu, Yaoming, et al.
Published: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
by: Fu, Daocheng, et al.
Published: (2025)

Can LLMs Generate and Solve Linguistic Olympiad Puzzles?
by: Majmudar, Neh, et al.
Published: (2025)

Maxwell theories along the light track: Null Formalism in extended electrodynamics
by: Xiao, Zhi, et al.
Published: (2026)

Language-Driven Object-Oriented Two-Stage Method for Scene Graph Anticipation
by: Zhu, Xiaomeng, et al.
Published: (2025)

On the Limit of Language Models as Planning Formalizers
by: Huang, Cassie, et al.
Published: (2024)

Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning
by: Wang, Zhaoqi, et al.
Published: (2025)

Evaluating Large Language Models on Multimodal Chemistry Olympiad Exams
by: Cui, Yiming, et al.
Published: (2025)

Solving Physics Olympiad via Reinforcement Learning on Physics Simulators
by: Prabhudesai, Mihir, et al.
Published: (2026)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
by: Huang, Yihe, et al.
Published: (2026)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
by: Duan, Boyan, et al.
Published: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
by: Zhang, Zhuoruo, et al.
Published: (2022)