Saved in:
| 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: | |
| Online Access: | https://arxiv.org/abs/2310.18021 |
| 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)
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)
by: Zou, Jia, et al.
Published: (2024)
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
by: He, Yiming, et al.
Published: (2024)
by: He, Yiming, et al.
Published: (2024)
Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
by: Zhang, Zeren, et al.
Published: (2024)
by: Zhang, Zeren, et al.
Published: (2024)
Antifungal Activity of Novel Isoindoline‐2‐Yl Putrescines as Potential Autophagy‐Activated Fungicide
by: Lisong Zhu, et al.
Published: (2024)
by: Lisong Zhu, et al.
Published: (2024)
Covariant Spinor Formalism for Multipole Expanded Form Factor
by: Huang, Hong, et al.
Published: (2026)
by: Huang, Hong, et al.
Published: (2026)
SRAD: Autonomous Decision‐Making Method for UAV Based on Safety Reinforcement Learning
by: Wenwen Xiao, et al.
Published: (2025)
by: Wenwen Xiao, et al.
Published: (2025)
Constant-Memory Strategies in Stochastic Games: Best Responses and Equilibria
by: Zhu, Fengming, et al.
Published: (2025)
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)
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)
by: Zhu, Fengming, et al.
Published: (2025)
FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)
by: Zhu, Fengmin, et al.
Published: (2025)
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
by: Li, Zelong, et al.
Published: (2024)
by: Li, Zelong, et al.
Published: (2024)
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)
by: Wojtak, Connor, et al.
Published: (2025)
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
by: Li, Chenyi, et al.
Published: (2026)
by: Li, Chenyi, et al.
Published: (2026)
Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)
by: Gong, Liancheng, et al.
Published: (2025)
EvoGuard: An Extensible Agentic RL-based Framework for Practical and Evolving AI-Generated Image Detection
by: Zhu, Chenyang, et al.
Published: (2026)
by: Zhu, Chenyang, et al.
Published: (2026)
Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
by: Magen, Roy
Published: (2025)
by: Magen, Roy
Published: (2025)
A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind
by: Zhu, Fengming, et al.
Published: (2025)
by: Zhu, Fengming, et al.
Published: (2025)
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)
by: Tempel, Sören, et al.
Published: (2024)
Solving Formal Math Problems by Decomposition and Iterative Reflection
by: Zhou, Yichi, et al.
Published: (2025)
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)
by: Xia, Renqiu, et al.
Published: (2024)
Breaking through Single‐Channel Limitations: Four‐Channel Structured Light Parallel Projection Technology Based on Polarization Multiplexing
by: Xiaokai Xu, et al.
Published: (2026)
by: Xiaokai Xu, et al.
Published: (2026)
Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)
by: Shi, Quan, et al.
Published: (2024)
Do Large Language Models Truly Understand Geometric Structures?
by: Wang, Xiaofeng, et al.
Published: (2025)
by: Wang, Xiaofeng, et al.
Published: (2025)
Scattering of Quantum Particles in de Sitter Spacetime I: The Formalism
by: Taylor, Tomasz R., et al.
Published: (2024)
by: Taylor, Tomasz R., et al.
Published: (2024)
Language-Driven Object-Oriented Two-Stage Method for Scene Graph Anticipation
by: Zhu, Xiaomeng, et al.
Published: (2025)
by: Zhu, Xiaomeng, 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)
by: He, Chaoqun, et al.
Published: (2024)
Formally Solving Answer-Construction Problems in Lean
by: Sun, Jialiang, et al.
Published: (2025)
by: Sun, Jialiang, et al.
Published: (2025)
OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics
by: Zhu, Yaoming, et al.
Published: (2025)
by: Zhu, Yaoming, et al.
Published: (2025)
Can LLMs Generate and Solve Linguistic Olympiad Puzzles?
by: Majmudar, Neh, et al.
Published: (2025)
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)
by: Xiao, Zhi, et al.
Published: (2026)
TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
by: Fu, Daocheng, et al.
Published: (2025)
by: Fu, Daocheng, et al.
Published: (2025)
Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning
by: Wang, Zhaoqi, et al.
Published: (2025)
by: Wang, Zhaoqi, et al.
Published: (2025)
On the Limit of Language Models as Planning Formalizers
by: Huang, Cassie, et al.
Published: (2024)
by: Huang, Cassie, et al.
Published: (2024)
Evaluating Large Language Models on Multimodal Chemistry Olympiad Exams
by: Cui, Yiming, et al.
Published: (2025)
by: Cui, Yiming, et al.
Published: (2025)
The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: Rule-Based Systems Matter
by: Zhu, Fengming, et al.
Published: (2025)
by: Zhu, Fengming, et al.
Published: (2025)
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
by: Zhang, Xuefeng, et al.
Published: (2024)
by: Zhang, Xuefeng, et al.
Published: (2024)
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
by: Zhang, Zhuoruo, et al.
Published: (2022)
by: Zhang, Zhuoruo, et al.
Published: (2022)
TimeGazer: Temporal Modeling of Predictive Gaze Stabilization for AR Interaction
by: Xia, Yaozheng, et al.
Published: (2025)
by: Xia, Yaozheng, et al.
Published: (2025)
Solving Physics Olympiad via Reinforcement Learning on Physics Simulators
by: Prabhudesai, Mihir, et al.
Published: (2026)
by: Prabhudesai, Mihir, et al.
Published: (2026)
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) -
Antifungal Activity of Novel Isoindoline‐2‐Yl Putrescines as Potential Autophagy‐Activated Fungicide
by: Lisong Zhu, et al.
Published: (2024)