Hugging Face model: ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl
Author: ruobingzuo66
Created: 2026-08-05 17:01:28
Last modified: 2026-08-06 14:10:56
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 222
Tags: transformers, safetensors, qwen3, text-generation, theorem-proving, formal-methods, lean4, sum-of-squares, polynomial-inequalities, neuro-symbolic, icml-2026, conversational, en, zh, arxiv:2605.15445, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers
pipeline_tag: text-generation
tags: theorem-proving, formal-methods, lean4, sum-of-squares, polynomial-inequalities, neuro-symbolic, icml-2026
language: en, zh