Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Bin Dong
Observed name:
Dong, Bin
Institutions:
King University,
Peking University,
Great Bay University,
Xi’an Jiaotong-Liverpool University
Observed institutions:
King University,
Peking University,
Great Bay University,
Xi’an Jiaotong-Liverpool University
OpenAlex ID:
A5134341243
Automated Conjecture Resolution with Formal Verification
2026
·
Haocheng Ju
, Guoxiong Gao
, et al.
·
SuperIntelligence - Robotics - Safety & Alignment
·
2
PDF
Matlas: A Semantic Search Engine for Mathematics
2026
·
Ju, Haocheng
, Chen, Leheng
, et al.
·
arXiv (Cornell University)
·
2
PDF
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
2026
·
Liu, Jihao
, Gao, Guoxiong
, et al.
·
arXiv (Cornell University)
PDF
From Search to Synthesis: Training LLMs as Zero-Shot Workflow Generators
2026
·
Luo, Gan
, Qin, Zihan
, et al.
·
arXiv (Cornell University)
PDF
Iteris: Agentic Research Loops for Computational Mathematics
2026
·
Chen, Leheng
, Liu, Zihao
, et al.
·
arXiv (Cornell University)
PDF
LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
2026
·
Gao, Guoxiong
, Sun, Zeming
, et al.
·
arXiv (Cornell University)
PDF
Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
2026
·
Xu, Ruoran
, Cheng, Haoyu
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
7
Citation count:
H-index:
I10-index:
Year
Topic
Type
