Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
One An
Observed name:
An, One
Institution:
University of Pennsylvania
Observed institution:
University of Pennsylvania
OpenAlex ID:
A5124054647
Theory-Scale Auto-Formalization of Logics for Computer Science
2026
·
Feng, Yuming
, Pu, Frederick
, et al.
·
arXiv (Cornell University)
·
5
PDF
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
2026
·
Mao, Tadd
, Zhong, Tianjun
, et al.
·
arXiv (Cornell University)
·
3
PDF
claimcheck: Measuring and Improving Specification Faithfulness
2026
·
Amster, Martin
, An, One
, et al.
·
arXiv (Cornell University)
PDF
First-Order Quantified Separator in Alloy Analyzer
2025
·
One An
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
Show more works
View as search
Works count:
4
Citation count:
8
H-index:
2
I10-index:
Year
Topic
Type
