Automatic Construction of a Hierarchical Generate-and-Test Algorithm. - Sunil Mohan; Chris Tong (ML, 1989)

Toward Automated Rational Reconstruction: A Case Study. - Chris Tong; Phil Franklin (ML, 1989)

Automated Synthesis of Constrained Generators. - Wesley Braudaway; Chris Tong (IJCAI, 1989)

Tuning a Knowledge Base of Refinement Rules To Create Good Circuit Designs. - Chris Tong; Phil Franklin (IJCAI, 1989)

Automating the Construction of Patchers That Satisfy Global Constraints. - Kerstin Voigt; Chris Tong (IJCAI, 1989)

Knowledge Compilation: A Symposium. - Ashok K. Goel 001; Tom Bylander; B. Chandrasekaran 001; Thomas G. Dietterich; Richard M. Keller; Chris Tong (IEEE Expert, 1991)

Guest Editor's Introduction: The 1990 Conference on AI Applications. - Chris Tong (IEEE Expert, 1991)

A Knowledge-Based Computer Environment for the Conceptual Design of Small Electromechanical Appliances. - Chris Tong; Andrew Gomory (Computer, 1993)

VeriLLM: A Lightweight Framework for Publicly Verifiable Decentralized Inference. - Ke Wang; Felix Qu; Libin Xia; Zishuo Zhao; Chris Tong; Lynn Ai; Eric Yang (CoRR, 2025)

Parallax: Efficient LLM Inference Service over Decentralized Environment. - Chris Tong; Youhe Jiang; Gufeng Chen; Tianyi Zhao; Sibian Lu; Wenjie Qu; Eric Yang; Lynn Ai; Binhang Yuan (CoRR, 2025)