GLM-5.3 is live. Run Z.ai's latest model on Friendli Model APIs. Try it today ā
ZJUVAI
Available on FriendliAI
Run this model inference on single tenant GPU with unmatched speed and reliability at scale.
Run this model inference with full control and performance in your environment.
Model Details
Model Provider
ZJUVAI
Model Tree
Qwen/Qwen3-VL-2B-Instruct
Input Modalities
Output Modalities
Supported Functionality
The integrated GenesisGeo neuro-symbolic system achieves the following paper-reported results, also listed in the GitHub README:
| Variant | IMO-30 | IMO-95 | HAGeo-409 |
|---|---|---|---|
| Text | 28/30 | 59/95 | 270/409 |
| Vision + Text | 29/30 | 63/95 | 278/409 |
Paper-reported results with a 32 Ć 512 Ć 4 search budget and a 60-minute time limit per problem. These results measure the complete system, including symbolic deduction and proof search.
The model takes a formal geometry problem in the predicate DSL, enclosed in <problem>...</problem>, optionally accompanied by a diagram. It predicts auxiliary constructions in an <aux>...</aux> block.
Use the problem serialization and prompting implemented in the GenesisGeo repository. Generated constructions are checked by the symbolic deduction engine as part of the complete proof-search system.
For proof search and benchmark evaluation, follow the evaluation instructions in the GenesisGeo repository.
Apache License 2.0. The model is derived from Qwen3-VL-2B-Instruct.