Chris Cameron

Researcher, Huawei Technologies Ltd.

Joined

July 2019

Names

Chris Cameron

Emails

****@cs.ubc.ca (Confirmed)

****@huawei.com (Confirmed)

****@gmail.com (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Researcher

Huawei Technologies Ltd. (huawei.com)

2025 – 2026

PhD student

University of British Columbia (cs.ubc.ca)

2017 – 2025

Advisors, Relations & Conflicts

Coworker

Yingxue Zhang

2025 – Present

Coworker

Didier Chételat

2025 – Present

PhD Advisor

Kevin Leyton-Brown

2014 – 2025

PhD Advisor

Holger Hoos

2014 – 2017

Expertise

Satisfiability

Present

Combinatorial optimization

Present

Automatic algorithm design

Present

Recursion Models

Present

Publications

One Step Forward and K Steps Back: Better Reasoning with Denoising Recursion Models
Chris Cameron, Wangzheng Wang, Nikita Ivanov, Ashmita Bhattacharyya, Didier Chételat, Yingxue Zhang
- LIT Workshop @ ICLR 2026
- Readers: Everyone
Foundation Models for Boolean Logic
Chris Cameron, Xing Jin, Taylor Lundy, Jason Hartford, Kevin Leyton-Brown
- Submitted to ICLR 2025
- Readers: Everyone
Matching papers and reviewers at large conferences
Kevin Leyton-Brown, Mausam, Yatin Nandwani, Hedayat Zarkoob, Chris Cameron, Neil Newman, Dinesh Raghu
- Artif. Intell. 2024
- Readers: Everyone
UNSAT Solver Synthesis via Monte Carlo Forest Search
Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown
- CPAIOR (1) 2024
- Readers: Everyone
Finding the smallest tree in the forest: Monte Carlo Forest Search for UNSAT solving
Chris Cameron, Jason Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown
- 22 Sept 2022 (modified: 13 Feb 2023)
- ICLR 2023 Conference Withdrawn Submission
- Readers: Everyone
The Perils of Learning Before Optimizing
Chris Cameron, Jason S. Hartford, Taylor Lundy, Kevin Leyton-Brown
- Published: 01 Jan 2022, Last Modified: 15 May 2023
- AAAI 2022
- Readers: Everyone
Predicting Propositional Satisfiability via End-to-End Learning
Chris Cameron, Rex Chen, Jason S. Hartford, Kevin Leyton-Brown
- Published: 01 Jan 2020, Last Modified: 12 May 2023
- AAAI 2020
- Readers: Everyone
OASC-2017: *Zilla Submission
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown, Frank Hutter
- OASC 2017
- Readers: Everyone
Bias in Algorithm Portfolio Performance Evaluation
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown
- 2016 (modified: 16 Jul 2019)
- IJCAI 2016
- Readers: Everyone

Chris Cameron

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors