xvedejas

POSTS

• LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

  by xvedejas on 6/30/2023, 3:28 PM with 0 comments

• Understanding Transit Infrastructure Costs in American Cities

  by xvedejas on 10/25/2022, 8:24 PM with 0 comments

• Stupid CSS Part 1: Double-Click Handler

  by xvedejas on 1/5/2021, 8:27 AM with 0 comments

• San Francisco: A Forbidden Fantasy Comes True

  by xvedejas on 6/22/2020, 2:03 AM with 0 comments