vsrinivasan
Re:Show HN: LLMs can generate valid JSON 100% of the time
on Tuesday August 15, 2023 @07:23AM (#37132555)
Can you please explain what is batching ? any pointers?
Re:Modern SAT solvers: fast, neat and underused
on Tuesday May 21, 2019 @12:57AM (#19967645)
Hello, i am CS undergrad.i wish to learn about program synthesis. while researching online for courses available. i came across the one offered at univ of washington and a few more, they do not have video lectures.if possible, please provide pointers on the right place to start.