Peter Zhong

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Ranked Retrieval

Automated Theorem Proving

Data Collections

Artificial Intelligence

Top Venues

Publications

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
A Calculus for Unreachable Code. CoRR (2024)
Tommy McMichen, Nathan Greiner, Peter Zhong, Federico Sossai, Atmn Patel, Simone Campanoni
Representing Data Collections in an SSA Form. CGO (2024)
Antonio Jimeno-Yepes, Peter Zhong, Douglas Burdick
ICDAR 2021 Competition on Scientific Literature Parsing. ICDAR (4) (2021)
Stefan Maetschke, David Martinez Iraola, Pieter Barnard, Elaheh ShafieiBavani, Peter Zhong, Ying Xu, Antonio Jimeno-Yepes
Understanding in Artificial Intelligence. CoRR (2021)