Get started
Author

Chaoda Song

Observed name: Song, Chaoda
Observed institution: Case Western Reserve University
OpenAlex ID: A5158760454
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
2026 · Ganguly, Debargha, Chen, Weicong, et al. · arXiv (Cornell University) · 1
PDF
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
2026 · Sankar, Sreehari, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type