Ryan Tjoa

According to our database, Ryan Tjoa authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Equality Saturation Theory Exploration à la Carte.

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi

Proc. ACM Program. Lang., October, 2023

Scaling integer arithmetic in probabilistic programs.

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Uncertainty in Artificial Intelligence, 2023