2 papers
cs.AI2026
ZGCM-1: A Fully Open and Extremely Efficient Foundation Model for Math and Agentic Search
Jiyan He, Guang Liang, Hao Liu +19
In this work, we present ZGCM-1, a fully open 7B dense foundation model trained from scratch with extreme data, system, and algorithmic efficiency. ZGCM-1 is founded on a core prem…
cs.AI2026
Dsat: A Native SAT Solver for Discrete Logic
Yaofang Zhang, Ken Zhou, Adnan Darwiche
Discrete variables are common in many applications, such as probabilistic reasoning, planning and explainable AI. When symbolic reasoning techniques are brought in to bear on these…