Selected Publications

See Google Scholar Profile for Full List
(* denotes equal contribution, † indicates corresponding author)

RLVR and Agent

Selected Papers on Automatic Theorem Proving

Selected Papers on Search and RL

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014 and earlier