Caleb Chan

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 2

Top Topics

Floating Point Arithmetic

Conjunctive Queries

Learning Frameworks

Interval Arithmetic

Top Venues

AAAI Spring Symposia

Publications

Edward Misback, Caleb Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. CoRR (2023)
Amrik Sacha Elapata Gunaratne, Babak Esfandiari, Caleb Chan
Towards a Framework for Testing Learning from Observation of State-Based Agents. AAAI Spring Symposia (2017)