Image de couverture de livre

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	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
Publié:	2023
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
par: Zhang, Xiaokai, et autres
Publié: (2024)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
par: Zou, Jia, et autres
Publié: (2024)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
par: He, Yiming, et autres
Publié: (2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
par: Zhang, Zeren, et autres
Publié: (2024)

Covariant Spinor Formalism for Multipole Expanded Form Factor
par: Huang, Hong, et autres
Publié: (2026)

Antifungal Activity of Novel Isoindoline‐2‐Yl Putrescines as Potential Autophagy‐Activated Fungicide
par: Lisong Zhu, et autres
Publié: (2024)

FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
par: Wojtak, Connor, et autres
Publié: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
par: Li, Zelong, et autres
Publié: (2024)

Constant-Memory Strategies in Stochastic Games: Best Responses and Equilibria
par: Zhu, Fengming, et autres
Publié: (2025)

Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming
par: Zhu, Fengming, et autres
Publié: (2023)

Single-Agent Planning in a Multi-Agent System: A Unified Framework for Type-Based Planners
par: Zhu, Fengming, et autres
Publié: (2025)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
par: Li, Chenyi, et autres
Publié: (2026)

SRAD: Autonomous Decision‐Making Method for UAV Based on Safety Reinforcement Learning
par: Wenwen Xiao, et autres
Publié: (2025)

Iterative Formalization and Planning in Partially Observable Environments
par: Gong, Liancheng, et autres
Publié: (2025)

Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
par: Magen, Roy
Publié: (2025)

EvoGuard: An Extensible Agentic RL-based Framework for Practical and Evolving AI-Generated Image Detection
par: Zhu, Chenyang, et autres
Publié: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
par: Xia, Renqiu, et autres
Publié: (2024)

A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind
par: Zhu, Fengming, et autres
Publié: (2025)

Can Language Models Solve Olympiad Programming?
par: Shi, Quan, et autres
Publié: (2024)

Scattering of Quantum Particles in de Sitter Spacetime I: The Formalism
par: Taylor, Tomasz R., et autres
Publié: (2024)

Do Large Language Models Truly Understand Geometric Structures?
par: Wang, Xiaofeng, et autres
Publié: (2025)

Breaking through Single‐Channel Limitations: Four‐Channel Structured Light Parallel Projection Technology Based on Polarization Multiplexing
par: Xiaokai Xu, et autres
Publié: (2026)

Formally Solving Answer-Construction Problems in Lean
par: Sun, Jialiang, et autres
Publié: (2025)

OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems
par: He, Chaoqun, et autres
Publié: (2024)

OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics
par: Zhu, Yaoming, et autres
Publié: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
par: Fu, Daocheng, et autres
Publié: (2025)

Can LLMs Generate and Solve Linguistic Olympiad Puzzles?
par: Majmudar, Neh, et autres
Publié: (2025)

Maxwell theories along the light track: Null Formalism in extended electrodynamics
par: Xiao, Zhi, et autres
Publié: (2026)

Language-Driven Object-Oriented Two-Stage Method for Scene Graph Anticipation
par: Zhu, Xiaomeng, et autres
Publié: (2025)

On the Limit of Language Models as Planning Formalizers
par: Huang, Cassie, et autres
Publié: (2024)

Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning
par: Wang, Zhaoqi, et autres
Publié: (2025)

Evaluating Large Language Models on Multimodal Chemistry Olympiad Exams
par: Cui, Yiming, et autres
Publié: (2025)

Solving Physics Olympiad via Reinforcement Learning on Physics Simulators
par: Prabhudesai, Mihir, et autres
Publié: (2026)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
par: Huang, Yihe, et autres
Publié: (2026)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
par: Duan, Boyan, et autres
Publié: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
par: Zhang, Zhuoruo, et autres
Publié: (2022)