Jocelyn(Qiaochu) Chen
@jocelynqchen
PhD @UTCompSci. Faculty Fellow @NYU_Courant (2024-2025). Incoming Faculty @UAlberta (as soon as I get the work permit). I do research on program synthesis.
🎓 I am recruiting MSc/PhD students @UAlberta for Fall 2025! 🎯 Directions: Neurosymbolic programming, LLM-based programming support, and human-centered synthesis framework. See my website for full details on potential research opportunities.
Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD
🌟 I'll be at NeurIPS from Dec 10-13 and would love to discuss neurosymbolic programming, synthesis, and the use of LLMs in programming. I am on the academic job market this year, so also open to chatting about opportunities. If you'd like to talk or grab a coffee, just ping me!
Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil! sigplan.org/Awards/Milner/
LLMs trained to memorize new facts can’t use those facts well.🤔 We apply a hypernetwork to ✏️edit✏️ the gradients for fact propagation, improving accuracy by 2x on a challenging subset of RippleEdit!💡 Our approach, PropMEND, extends MEND with a new objective for propagation.
Just updated my profile from "incoming assistant professor at U of A (starting July 2025)" to "... (as soon as I get my work permit)". Applied for the Canadian work permit on Nov 2024, still no news at all from IRCC about any update nor any estimated timeline. Definitely an…
🚀Introducing CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️ A dataset of 100 real-world C repositories across various domains, each paired with: 🦀 Handwritten safe Rust interfaces. 🧪 Rust test cases to validate correctness. 🧵[1/6]
🚀 Announcing the 1st International Workshop on Language Models and Programming Languages (LMPL) at SPLASH 2025! Join us to explore the intersection of generative AI & programming languages. See you in Singapore! 🇸🇬 🔗 conf.researchr.org/home/icfp-spla…📝 #LMPL2025 #ProgrammingLanguages…
🚀 Excited to announce the LMPL Workshop at ICFP/SPLASH 2025! 🎉 PL research is all about rigor—but LLMs often feel like mysterious "black boxes". Open question: Can we bridge these two worlds and get LLMs working seamlessly with PL? #PL #LLM 👉 conf.researchr.org/home/icfp-spla…
🚀PROOFWALA – a multilingual framework for theorem proving in #Lean4 & #Coq! 🛠️ Our Python-based interface lets you write code once for both systems and parallel proof search. Paper: arxiv.org/abs/2502.04671 Github: github.com/trishullab/pro…
📢 I’m recruiting PhD students @CS_UVA for Fall 2025! 🎯 Neurosymbolic AI, probabilistic ML, trustworthiness, AI for science. See my website for more details: zzeng.me 📬 If you're interested, apply and mention my name in your application: engineering.virginia.edu/department/com…
🚀 I am recruiting PhD students for Fall 2025 at the UCLA Robot Intelligence Lab! 🤖 If you are interested in robot learning and human-robot interaction, mark me as a potential adivisor when you apply to the UCLA CS PhD program! #PhD #Robotics @CS_UCLA
🔔 I'm recruiting multiple fully funded MSc/PhD students @UAlberta for Fall 2025! Join my lab working on NLP, especially reasoning and interpretability (see my website for more details about my research). Apply by December 15!
The Dept of Computing Science at the @UAlberta is hiring! The new hires in AI will be nominated for a Canada @CIFAR_News AI Chair position. We have 3 open TT positions: AI/ML/DL Theory: apps.ualberta.ca/careers/postin… AI + SWE: apps.ualberta.ca/careers/postin… Systems: apps.ualberta.ca/careers/postin…
For students applying to PhD programs this cycle: I am recruiting! I do research on parallel programming, compilers, run-time systems, and parallel algorithms. My main focus is making it simpler and safer to write efficient, scalable, and correct parallel code.
Announcing PutnamBench: an evaluation benchmark for formal mathematical reasoning in Lean 4, Isabelle, and Coq! PutnamBench consists of problems from the William-Lowell Putnam Mathematical Competition, the premier collegiate mathematics exam in the US & Canada. 🧵
📢 Calling all student researchers! Join #SPLASH2024 ACM Student Research Competition. Showcase your CS research, get expert feedback, sharpen your research skills. Prizes up to $500 & a chance at the ACM SRC Grand Finals. 🏆 Deadline: July 8th. Details: 2024.splashcon.org/track/splash-2…
Happy to share that I will be joining the @UAlberta CS as an Assistant Professor starting in Summer 2025. During the upcoming academic year, I will be a Faculty Fellow at @NYU_Courant.
We're looking to get to know the users of SMT solvers! Please DM us if you use any SMT solver, and especially if you use cvc5. Reposts for visibility are also appreciated!
Here's where we are leading up to SPLASH 2023! We have seen an extended global reach for mentees, primarily in South America. We have also seen growth in the number of mentees, but the number of mentors have been stable. We are badly in need of new mentors. Please sign up!